( en | de | ru )

 

Disambiguierung von "Nordmann, Arne"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
System Modes - Digestible System (Re-)Configuration for Robotics.

, , und . RoSE@ICSE, Seite 19-24. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Arne Nordmann

Walter Arne

Friedrich Arnemann

Sabine Arnecke

Jan-Dirk Arneth

 

Weitere Publikationen von Autoren mit dem selben Namen

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