search result

Cover von Runtime Verification
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6 - 9, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12399
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2020
Media group: OASICS
Cover von OASIcs, Volume 79, ASD 2020, Complete Volume

OASIcs, Volume 79, ASD 2020, Complete Volume

Year: 2020
Media group: OASICS
Cover von 2nd International Workshop on Autonomous Systems Design
ASD 2020, March 13, 2020, Grenoble, France, converted to a virtual event due to COVID-19, held in April 2020
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 79
Media group: OASICS
Cover von NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 16622
Media group: MONOGRAPHIE
Cover von NASA Formal Methods
14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24 - 27, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Formal Methods; 13260
Media group: MONOGRAPHIE
Cover von Specification Formalisms for Modern Cyber-Physical Systems; 9,2
pp. 48-72
Search for this author
Year: 2019
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9,2
Media group: DAGSTUHL REPORT
Cover von Safety Assurance for Autonomous Mobility; 2
pp. 95-119
Author: Assche, Dylan Van Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0