( en | de | ru )

 

Disambiguierung von "Johnsen, Einar Broch"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of Concurrent Objects with Asynchronous Method Calls.

, , und . SwSTE, Seite 141-150. IEEE Computer Society, (2005)

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.

Wolfram Einars

Jan Broch

Erwin Broch

Sebastian Broch

Ole Broch

 

Weitere Publikationen von Autoren mit dem selben Namen

Creol: A type-safe object-oriented model for distributed concurrent systems., , und . Theor. Comput. Sci., 365 (1-2): 23-66 (2006)Proving Correctness of Parallel Implementations of Transition System Specifications., , , und . CoRR, (2023)Behavior Trees and State Machines in Robotics Applications., , , , und . CoRR, (2022)Lazy Behavioral Subtyping., , , und . FM, Volume 5014 von Lecture Notes in Computer Science, Seite 52-67. Springer, (2008)Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study., , , , und . LNCS Trans. Aspect Oriented Softw. Dev., (2014)Symbolic Semantics for Probabilistic Programs (extended version)., , , , und . CoRR, (2023)A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version)., , , und . CoRR, (2022)User-defined schedulers for real-time concurrent objects., , , , und . Innov. Syst. Softw. Eng., 9 (1): 29-43 (2013)The ABS simulator toolchain., , , und . Sci. Comput. Program., (2022)Digital Twin Reconfiguration Using Asset Models., , , , , und . ISoLA (4), Volume 13704 von Lecture Notes in Computer Science, Seite 71-88. Springer, (2022)