( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Simulation-Verification: Biting at the State Explosion Problem.

, , , и . 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.

Douglas A Hume

Stuart Taylor

Stuart Fiske

Stuart Inkpen

Stuart Butterfield

 

Другие публикации лиц с тем же именем

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