%0 Generic %1 fidge_98_statemachine %A Fidge, C. J. %D 1998 %K reactive_systems 1998 refinement statecharts traces _to_review %T State-Machine Versus Trace Modelling of Real-Time Reactive Systems %U http://citeseer.ist.psu.edu/fidge98statemachine.html %X Both extended state-machines and trace-based models have been promoted as appropriate specification methods for real-time systems. We present the same real-time specification in both styles, in order to clearly compare the two approaches.

@misc{fidge_98_statemachine, abstract = {Both extended state-machines and trace-based models have been promoted as appropriate specification methods for real-time systems. We present the same real-time specification in both styles, in order to clearly compare the two approaches.}, added-at = {2009-02-11T22:25:28.000+0100}, author = {Fidge, C. J.}, biburl = {https://www.bibsonomy.org/bibtex/212ef81262cb577abc049539f0e2c2572/leonardo}, citeulike-article-id = {771694}, interhash = {387dc0956c2d7ce6f4a2c68a99df690f}, intrahash = {12ef81262cb577abc049539f0e2c2572}, keywords = {reactive_systems 1998 refinement statecharts traces _to_review}, posted-at = {2006-07-24 19:29:49}, priority = {3}, timestamp = {2009-02-11T22:25:28.000+0100}, title = {State-Machine Versus Trace Modelling of Real-Time Reactive Systems}, url = {http://citeseer.ist.psu.edu/fidge98statemachine.html}, year = 1998 }