Autor der Publikation

Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions.

, , , und . Inf. Process. Lett., 44 (6): 333-343 (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols., , und . IEEE Trans. Computers, 49 (4): 317-330 (2000)Addressing and Routing in Heterogeneous Data Networks., , , und . HPN, Volume C-26 von IFIP Transactions, Seite 95-105. North-Holland, (1994)Distributed Fault diagnosis of a Ring of Processors., , , und . Parallel Processing Letters, (1993)Diagnosis of T/S-Diagnosable Systems., , und . Journal of Circuits, Systems, and Computers, 1 (4): 353-372 (1991)Multiprocessor Fault Diagnosis Under Local Constraints., , , und . IEEE Trans. Computers, 42 (8): 984-988 (1993)On Conformance Test and Fault Resolution of Protocols based on FSM Model., , und . NETWORKS, Volume C-13 von IFIP Transactions, Seite 211-222. North-Holland, (1992)Diagnosis of t/s-Diagnosable Systems., und . WG, Volume 484 von Lecture Notes in Computer Science, Seite 193-205. Springer, (1990)On Testing and Diagnosis of Communication Protocols Based on the FSM Model., , und . Computer Communications, 18 (5): 329-337 (1995)Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model., , und . Computer Communications, 18 (2): 113-122 (1995)Nondeterministic State Machines in Protocol Conformance Testing., , , und . Protocol Test Systems, Volume C-19 von IFIP Transactions, Seite 363-378. North-Holland, (1993)