( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Integrating Ontologies into Verification for Autonomous Driving.

, , и . ISWC (Satellites), том 2456 из CEUR Workshop Proceedings, стр. 319-320. CEUR-WS.org, (2019)

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.

Arne Nordmann

Sabine Arnecke

Jan-Dirk Arneth

Horst Arnet

Walter Arne

 

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

Towards Integrating Ontologies into Verification for Autonomous Driving., , и . ISWC (Satellites), том 2456 из CEUR Workshop Proceedings, стр. 319-320. CEUR-WS.org, (2019)FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems., , , , и . Domain-Specific Languages in Practice, Springer, (2021)Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees., , , , , , , и . CoRR, (2021)A systematic literature review on counterexample explanation - Summary., , , и . Software Engineering, том P-332 из LNI, стр. 71-72. Gesellschaft für Informatik e.V., (2023)A user study for evaluation of formal verification results and their explanation at Bosch., , , и . Empir. Softw. Eng., 28 (5): 125 (октября 2023)Oncilla Robot: A Versatile Open-Source Quadruped Research Robot With Compliant Pantograph Legs., , , , , , , , , и 2 other автор(ы). Frontiers Robotics AI, (2018)A systematic literature review on counterexample explanation., , , и . Inf. Softw. Technol., (2022)System Modes - Digestible System (Re-)Configuration for Robotics., , и . RoSE@ICSE, стр. 19-24. IEEE, (2021)Counterexample Interpretation for Contract-Based Design., , , и . IMBSA, том 12297 из Lecture Notes in Computer Science, стр. 99-114. Springer, (2020)A Domain Specific Language to Support HAZOP Studies of SysML Models., , , , и . IMBSA, том 11842 из Lecture Notes in Computer Science, стр. 47-62. Springer, (2019)