Author of the publication

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML

, , and . Architecting Dependable Systems V, (2008)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML, , and . Architecting Dependable Systems V, (2008)Supersymmetric Type-III Seesaw Mechanism: Lepton Flavor Violation and LHC Phenomenology, , , and . Physical Review D, 87 (1): 013010 (January 2013)$(g-2)$ anomalies and neutrino mass, , , and . (2020)cite arxiv:2007.11007Comment: 23 pages, 14 figures.Modeling and verifying dynamic communication structures based on graph transformations., , , , , and . Comput. Sci. Res. Dev., 28 (1): 3-22 (2013)Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen., , , , , and . Software Engineering, volume P-105 of LNI, page 251-252. GI, (2007)Modeling and Verifying Dynamic Communication Structures based on Graph Transformations., , , and . Software Engineering, volume P-159 of LNI, page 153-164. GI, (2010)Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems., and . HICSS, page 6778-6787. ScholarSpace, (2023)A system for industrial-strength linguistic parsing of medical documents., and . Artificial Intelligence and Applications, page 538-542. IASTED/ACTA Press, (2007)Introduction of a Pathophysiology-Based Diagnostic Decision Support System and Its Potential Impact on the Use of AI in Healthcare., , , , , and . MedInfo, volume 264 of Studies in Health Technology and Informatics, page 1696-1697. IOS Press, (2019)Training one model to detect heart and lung sound events from single point auscultations., , , , , , , , , and 4 other author(s). CoRR, (2023)