( en | de | ru )

 

Disambiguierung von "Owe, Olaf"

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.

Owe Reimers

Sverrir Olafsson

Sven Olaf

Owe Hansen

Owe Piening

 

Weitere Publikationen von Autoren mit dem selben Namen

A sound and complete reasoning system for asynchronous communication with shared futures., und . J. Log. Algebraic Methods Program., 83 (5-6): 360-383 (2014)A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects., und . FMCO, Volume 3657 von Lecture Notes in Computer Science, Seite 274-295. Springer, (2004)A Dynamic Class Construct for Asynchronous Concurrent Objects., , und . FMOODS, Volume 3535 von Lecture Notes in Computer Science, Seite 15-30. Springer, (2005)A Policy Language to Capture Compliance of Data Protection Requirements., , , und . IFM, Volume 13274 von Lecture Notes in Computer Science, Seite 289-309. Springer, (2022)Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems.. IFM, Volume 9681 von Lecture Notes in Computer Science, Seite 210-225. Springer, (2016)A lightweight approach to smart contracts supporting safety, security, and privacy., und . J. Log. Algebraic Methods Program., (2022)Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis., , , und . IRI, Seite 504-511. IEEE Computer Society, (2013)Validating Timed Models of Deployment Components with Parametric Concurrency., , , und . FoVeOOS, Volume 6528 von Lecture Notes in Computer Science, Seite 46-60. Springer, (2010)Security and Privacy Functionalities in IoT., , und . PST, Seite 1-12. IEEE, (2019)Verification of Concurrent Objects with Asynchronous Method Calls., , und . SwSTE, Seite 141-150. IEEE Computer Society, (2005)