( en | de | ru )

 

Disambiguierung von "Kramer, Jeff"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Implied Scenario Detection in the Presence of Behaviour Constraints.

, , und . Electron. Notes Theor. Comput. Sci., 65 (7): 65-84 (2002)

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.

Jeff Berens

Jeff Bezanson

Dennis Jeffrey

Jeff Jay

Jeff Tian

 

Weitere Publikationen von Autoren mit dem selben Namen

Distributed Software Engineering.. ICSE, Seite 253-263. IEEE Computer Society / ACM Press, (1994)Towards Self-management in Service-Oriented Computing with Modes, , , und . Service-Oriented Computing - ICSOC 2007 Workshops, Volume 4907 von LNCS, Springer, (2009)Providing High Performance Distributed Computing Through Scalable Computation Servers., und . HPDC, Seite 70-77. IEEE, (1994)State of the Journal Address.. IEEE Trans. Software Eng., 34 (1): 1-2 (2008)Checking Subsystem Safety Properties in Compositional Reachability Analysis., und . ICSE, Seite 144-154. IEEE Computer Society, (1996)RE @ runtime : the challenge of change RE'20 Conference Keynote.. RE, Seite 4-6. IEEE, (2020)Modelling Darwin in the Pi-Caculus., , und . Dagstuhl Seminar on Distributed Systems, Volume 938 von Lecture Notes in Computer Science, Seite 133-152. Springer, (1994)Translating FSP into LOTOS and Networks of Automata., , , und . IFM, Volume 4591 von Lecture Notes in Computer Science, Seite 558-578. Springer, (2007)LTSA-PCA: tool support for compositional reliability analysis., , und . ICSE Companion, Seite 548-551. ACM, (2014)Dynamic Reconfiguration of Business Processes., , , , und . BPM, Volume 11675 von Lecture Notes in Computer Science, Seite 35-51. Springer, (2019)