( en | de | ru )

 

Disambiguierung von "Brinksma, Ed"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions.

, , , , und . Formal Methods Syst. Des., 12 (2): 189-216 (1998)

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.

Ed Robbins

Ed Brost

Efrat Gal-Ed

Jörg Ed Hartge

Ed H. Chi

 

Weitere Publikationen von Autoren mit dem selben Namen

From Data Structure to Process Structure.. CAV, Volume 575 von Lecture Notes in Computer Science, Seite 244-254. Springer, (1991)Testing Real-Time Multi Input-Output Systems., und . ICFEM, Volume 3785 von Lecture Notes in Computer Science, Seite 264-279. Springer, (2005)Verification is experimentation!. Int. J. Softw. Tools Technol. Transf., 3 (2): 107-111 (2001)A tutorial on LOTOS.. PSTV, Seite 171-194. North-Holland, (1985)On Specifying Real-Time Systems in a Causality-Based Setting., , , und . FTRTFT, Volume 1135 von Lecture Notes in Computer Science, Seite 385-404. Springer, (1996)A Framework for Test Selection., , und . PSTV, Seite 233-248. North-Holland, (1991)Refining Interfaces of Communicating Systems., , und . TAPSOFT, Vol.2, Volume 494 von Lecture Notes in Computer Science, Seite 297-312. Springer, (1991)Testing Transition Systems: An Annotated Bibliography., und . MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 187-195. Springer, (2000)A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions., , , , und . Formal Methods Syst. Des., 12 (2): 189-216 (1998)Managing the verification trajectory., und . Int. J. Softw. Tools Technol. Transf., 4 (2): 246-259 (2003)