Author of the publication

TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models.

, , and . Protocol Test Systems, volume C-3 of IFIP Transactions, page 195-206. North-Holland, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

QoS-based Distributed Query Processing., , and . Ingénierie des Systèmes d'Information, 9 (5-6): 205-234 (2004)An Approach to Quality of Service Management in Distributed Multimedia Application: Design and an Implementation., and . Multimedia Tools Appl., 9 (2): 167-191 (1999)Load balancing in peer-to-peer systems using a diffusive approach., and . Computing, 94 (8-10): 649-678 (2012)Development and Structure of an X.25 Implementation., and . IEEE Trans. Software Eng., 5 (5): 429-439 (1979)A Framework for Alarm Correlation and Fault Diagnostics., , and . Networking and Information Systems, 2 (4): 459-482 (1999)Distributed Multimedia and QOS: A Survey., , , and . IEEE MultiMedia, 2 (2): 10-19 (1995)Protocol Specification for OSI.. Computer Networks and ISDN Systems, 18 (3): 167-184 (1989)Forte '95., , and . Computer Networks and ISBN Systems, 29 (7): 731-733 (1997)Videotex Networks., , and . IEEE Computer, 13 (12): 8-14 (1980)Translation from TTCN to LOTOS and the Validation of Test Cases., , , and . FORTE, page 141-155. North-Holland, (1990)