Author of the publication

Simulation-Verification: Biting at the State Explosion Problem.

, , , and . IEEE Trans. Software Eng., 27 (7): 599-617 (2001)

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

A Methodology and Support Tools for Analysis of Real-Time Specifications., , and . International Journal of Software Engineering and Knowledge Engineering, 6 (3): 401-426 (1996)Implementing a Verifier for Real-Time Systems.. RTSS, page 62-71. IEEE Computer Society, (1990)Compiling Modechart Specifications., , and . RTSS, page 256-265. IEEE Computer Society, (1995)Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications., and . RTSS, page 254-263. IEEE Computer Society, (1991)A new generation modechart verifie., , and . IEEE Real Time Technology and Applications Symposium, page 116-125. IEEE Computer Society, (1995)Simulation-Verification: Biting at the State Explosion Problem., , , and . IEEE Trans. Software Eng., 27 (7): 599-617 (2001)An Operational Semantics and Compiler for Real-Time Specifications., , and . Integr. Comput. Aided Eng., 5 (3): 187-206 (1998)A Method for Verifying Properties of Modechart Specifications., and . RTSS, page 12-21. IEEE Computer Society, (1988)