( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.

, , и . FroCos, том 9322 из Lecture Notes in Computer Science, стр. 186-202. Springer, (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.

Werner Damm

Werner Damm

Klaus-Werner Damm

Klaus-Werner Damm

Klaus-Werner Damm

 

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

Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic., , , , , и . IV, стр. 82-89. IEEE, (2019)Verification of microprogrammed computer architectures in the S*-system: a case study., и . MICRO, стр. 61-73. ACM/IEEE, (1985)Embedded system development for automotive applications: trends and challenges.. EMSOFT, стр. 1. ACM, (2006)Perspectives on the Validation and Verification of Machine Learning Systems in the Context of Highly Automated Vehicles., , , и . AAAI Spring Symposia, AAAI Press, (2018)Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.. FMICS, том 5596 из Lecture Notes in Computer Science, стр. 3. Springer, (2008)Understanding UML - Pains and Rewards.. UML, том 2185 из Lecture Notes in Computer Science, стр. 240. Springer, (2001)Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving., и . SEFAIAS@ICSE, стр. 39-46. ACM, (2018)A schematalogical approach to the alalysis of the procedure concept in algol-languages., и . CLAAP, стр. 130-134. Université de Lille 1, (1980)Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.. ICFEM, стр. 153. IEEE Computer Society, (2000)A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations., , , , , , , , , и 13 other автор(ы). ACM Trans. Cyber Phys. Syst., 8 (1): 4:1-4:23 (января 2024)