( en | de | ru )

 

Disambiguierung von "Lion, Benjamin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Composition of Systems of Interacting Cyber-Physical Components.

, , und . WADT, Volume 13710 von Lecture Notes in Computer Science, Seite 141-162. Springer, (2022)

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.

Siegfried Lion

Felix Lion

Nicole Lion

Wilhelm Lion

Lion König

 

Weitere Publikationen von Autoren mit dem selben Namen

Soft component automata: Composition, compilation, logic, and verification., , , und . Sci. Comput. Program., (2019)Runtime Composition of Systems of Interacting Cyber-Physical Components., , und . WADT, Volume 13710 von Lecture Notes in Computer Science, Seite 141-162. Springer, (2022)A formal framework for distributed cyber-physical systems., , und . J. Log. Algebraic Methods Program., (2022)Compiling Protocols to Promela and Verifying their LTL Properties., , und . MoDELS (Workshops), Volume 2245 von CEUR Workshop Proceedings, Seite 31-39. CEUR-WS.org, (2018)A Rewriting Framework for Interacting Cyber-Physical Agents., , und . ISoLA (3), Volume 13703 von Lecture Notes in Computer Science, Seite 356-372. Springer, (2022)A Semantic Model for Interacting Cyber-Physical Systems., , und . CoRR, (2021)Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification., , , und . SETTA, Volume 14464 von Lecture Notes in Computer Science, Seite 385-401. Springer, (2023)From symbolic constraint automata to Promela., , und . J. Log. Algebraic Methods Program., (2022)