PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sokolsky, Oleg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Concurrency Factory: A Development Environment for Concurrent Systems.

, , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 398-401. Springer, (1996)

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.

Keine Personen gefunden für den Autorennamen Sokolsky, Oleg
Eine Person hinzufügen mit dem Namen Sokolsky, Oleg
 

Weitere Publikationen von Autoren mit dem selben Namen

Hiding resources that can fail: An axiomatic perspective., , , , und . Inf. Process. Lett., 80 (1): 3-13 (2001)PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling., , und . Theor. Comput. Sci., 413 (1): 2-20 (2012)Permission to speak: A logic for access control and conformance., , , und . J. Log. Algebr. Program., 80 (1): 50-74 (2011)Compositional modeling and refinement for hierarchical hybrid systems., , , und . J. Log. Algebr. Program., 68 (1-2): 105-128 (2006)Dynamic Trust Management., , , , , , und . IEEE Computer, 42 (2): 44-52 (2009)Robust Medical Monitor Design., , und . ICHI, Seite 445. IEEE Computer Society, (2015)Runtime Assurance Based On Formal Specifications., , , , und . PDPTA, Seite 279-287. CSREA Press, (1999)REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency., , , , , und . CoRR, (2019)OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things., , , , und . ISORC, Seite 103-106. IEEE Computer Society, (2018)Data Flow Testing as Model Checking., , , , und . ICSE, Seite 232-243. IEEE Computer Society, (2003)