( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles.

, , , и . CoRR, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Martin Becker

Martin Becker

Martin Becker

Martin Becker

Martin Becker

 

Другие публикации лиц с тем же именем

Optimizing Worst-Case Execution Times Using Mainstream Compilers., и . SCOPES, стр. 10-13. ACM, (2018)Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles., , , и . SAFECOMP Workshops, том 9338 из Lecture Notes in Computer Science, стр. 369-385. Springer, (2015)Industrial perspective on reuse of safety artifacts in software product lines., , , , и . SPLC (A), стр. 23:1-23:12. ACM, (2019)Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods.. Technical University of Munich, Germany, (2020)On Unifying the Compliance Management of Applications Based on IaC Automation., , , , , , , и . ICSA Companion, стр. 226-229. IEEE, (2022)Dynamic Multiwavelength Optical Reflection Filter Induced in a Suspended-Core Fiber Bragg Grating by Amplitude Modulated Acoustic Waves., , , , и . OFC, стр. 1-3. IEEE, (2018)Approaching Pattern Catalogues for Variability Realization in Model-Based Systems and Software Engineering., , , , , и . SPLC (A), стр. 254-260. ACM, (2023)Variability realization in UML/SysML models., и . SPLC (A), стр. 212-213. ACM, (2021)GOPPA Codes: Algorithmic Problems., и . European Conference on Computer Algebra (2), том 204 из Lecture Notes in Computer Science, стр. 407-408. Springer, (1985)Toponomics method for the automated quantification of membrane protein translocation., , , , , , и . BMC Bioinform., (2011)