Author of the publication

Completeness in Statechart Models for Reactive Systems.

, , and . SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, page 117-130. Springer, (1993)

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

Transformation of a semi-formal specification to VDM., , , and . KBSE, page 40-49. IEEE Computer Society, (1992)A rigorous approach for constructing self-evolving real-time reactive systems., , , , , and . Inf. Softw. Technol., 45 (11): 743-761 (2003)Completeness in Statechart Models for Reactive Systems., , and . SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, page 117-130. Springer, (1993)Animating Real-Time Reactive Systems., , and . ICECCS, page 181-188. IEEE Computer Society, (1996)An Object-Oriented Framework for Specifying Reactive Systems., , and . COODBSE, page 114-133. World Scientific, (1994)TROM - An Object Model for Reactive System Development., , and . ASIAN, volume 1023 of Lecture Notes in Computer Science, page 350-364. Springer, (1995)An object-oriented modeling of real-time robotic assembly system., , and . ICECCS, page 310-. IEEE Computer Society, (1995)