PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Derrick, John"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Design and Verification of Distributed Multi-media Systems.

, , und . FMOODS, Volume 2884 von Lecture Notes in Computer Science, Seite 176-292. Springer, (2003)

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.

John Nixon University of Stuttgart

Isaac Henderson Johnson Jeyakumar University of Stuttgart

David John Cross University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Specifying and Refining Internal Operations in Z., , , und . Formal Asp. Comput., 10 (2): 125-159 (1998)Relational concurrent refinement part III: traces, partial relations and automata., und . Formal Asp. Comput., 26 (2): 407-432 (2014)Z2SAL: a translation-based model checker for Z., , und . Formal Asp. Comput., 23 (1): 43-71 (2011)Guest Editorial Integrated Formal Methods., , und . Formal Asp. Comput., 17 (4): 389-389 (2005)Calculating upward and downward simulations of state-based specifications., und . Information & Software Technology, 41 (13): 917-923 (1999)Development of a verified Erlang program for resource locking., , und . STTT, 5 (2-3): 205-220 (2004)Inferring extended finite state machine models from software executions., , und . Empirical Software Engineering, 21 (3): 811-853 (2016)Extending LOTOS with Time: A True Concurrency Perspective., und . ARTS, Volume 1231 von Lecture Notes in Computer Science, Seite 383-399. Springer, (1997)Observational Models for Linearizability Checking on Weak Memory Models., , und . TASE, Seite 100-107. IEEE Computer Society, (2018)Linearizability and Causality., und . SEFM, Volume 9763 von Lecture Notes in Computer Science, Seite 45-60. Springer, (2016)