( en | de | ru )

 

Disambiguierung von "Reif, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems.

, , und . ABZ, Volume 14010 von Lecture Notes in Computer Science, Seite 70-87. Springer, (2023)

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.

Wolfgang Reif

Wolfgang Reif

Wolfgang Reif

Wolfgang Reif

Wolfgang Reif

 

Weitere Publikationen von Autoren mit dem selben Namen

Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-Planning., , , , , und . ISoLA (2), Volume 12477 von Lecture Notes in Computer Science, Seite 507-524. Springer, (2020)Multipotent Systems: Combining Planning, Self-Organization, and Reconfiguration in Modular Robot Ensembles., , , , und . Sensors, 19 (1): 17 (2019)Symbolic execution for a clash-free subset of ASMs., , , , und . Sci. Comput. Program., (2018)Toward Integrated Analysis & Testing of Component-Based, Adaptive Robot Systems., , , , und . QRS Companion, Seite 301-302. IEEE, (2016)On Structure and Distribution of Software for Mobile Manipulators., , , , und . ICINCO (Selected Papers), Volume 383 von Lecture Notes in Electrical Engineering, Seite 209-227. Springer, (2015)Thread-Local, Step-Local Proof Obligations for Refinement of State-Based Concurrent Systems., , und . ABZ, Volume 14010 von Lecture Notes in Computer Science, Seite 70-87. Springer, (2023)Simulating a Flash File System with CoreASM and Eclipse., , , , und . GI-Jahrestagung, Volume P-192 von LNI, Seite 355. GI, (2011)Design for Trust: Security im M-Commerce., , , und . GI Jahrestagung (1), Volume P-34 von LNI, Seite 91-94. GI, (2003)Towards Fully Automated Inspection of Large Components with UAVs: Offline Path Planning., , , , und . ICINCO, Seite 71-80. ScitePress, (2020)Towards Automated COVID-19 Presence and Severity Classification., , , , , , , , und . MIE, Volume 302 von Studies in Health Technology and Informatics, Seite 917-921. IOS Press, (2023)