Autor der Publikation

User-Guided Test Sequence Generation.

, und . Protocol Specification, Testing, and Verification, Seite 421-436. North-Holland, (1983)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Life-Cycle E-commerce Testing with OO-TTCN-3., , und . FORTE Workshops, Volume 3236 von Lecture Notes in Computer Science, Seite 16-29. Springer, (2004)Model-based regression test suite generation using dependence analysis., , und . A-MOST, Seite 54-62. ACM, (2007)Efficient Procedures for Using Matrix Algorithms., und . ICALP, Volume 14 von Lecture Notes in Computer Science, Seite 413-427. Springer, (1974)Formalization of ISDN LAPD for Conformance Testing., , , und . INFOCOM, Seite 234-246. IEEE Computer Society, (1989)Recovery of Communications Protocol Design from Run Time Protocol Traces., , und . ICECCS, Seite 265-272. IEEE Computer Society, (1996)E-Commerce Authentication: An Effective Countermeasures Design Model., und . ICEIS (3), Seite 447-455. (2003)Summary of Panel Presentations and Discussion.. Protocol Test Systems, Volume C-11 von IFIP Transactions, Seite 169-173. North-Holland, (1992)A note on matrix multiplication in a paging environment., und . ACM Annual Conference, Seite 17-21. ACM, (1976)Synthesis of Error-Recoverable Protocol Specifications from Service Specifications., und . ICCI, Volume 468 von Lecture Notes in Computer Science, Seite 415-424. Springer, (1990)OSPF Efficient LSA Refreshment Function in SDL., , und . SDL Forum, Volume 2078 von Lecture Notes in Computer Science, Seite 300-315. Springer, (2001)