( en | de | ru )

 

Disambiguierung von "Brinksma, Ed"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Asynchronous Testing.

, , , und . Protocol Test Systems, Volume C-11 von IFIP Transactions, Seite 55-66. North-Holland, (1992)

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

Testing Transition Systems: An Annotated Bibliography., und . MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 187-195. Springer, (2000)Specification Modules in LOTOS.. FORTE, Seite 101-115. North-Holland, (1989)Using Formal Methods: if you're so smart how come you ain't rich?. FORTE, Volume 69 von IFIP Conference Proceedings, Seite 329. Chapman & Hall, (1996)A Calculus for Timed Automata., und . FTRTFT, Volume 1135 von Lecture Notes in Computer Science, Seite 110-129. Springer, (1996)As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata., , , , , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 493-505. Springer, (2001)Specification and Analysis of Soft Real-Time Systems: Quantity and Quality., , und . RTSS, Seite 104-114. IEEE Computer Society, (1999)Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise.., , und . EDOC, Seite 58-69. IEEE Computer Society, (2005)A tutorial on LOTOS.. PSTV, Seite 171-194. North-Holland, (1985)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)