Author of the publication

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.

, , , and . ISORC, page 96-103. IEEE Computer Society, (2000)

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

Multiscale autoregressive processes. I. Schur-Levinson parametrizations., , and . IEEE Trans. Signal Process., 40 (8): 1915-1934 (1992)Wavelets in identification., , , , and . Fuzzy logic and expert systems applications, volume 6 of Neural network systems techniques and applications, Academic Press, (1998)Concurrency in Synchronous Systems, , and . Formal Methods in System Design, 28 (2): 111--130 (March 2006)Tag machines., , , and . EMSOFT, page 255-263. ACM, (2005)09481 Abstracts Collection - SYNCHRON 2009., , , , and . SYNCHRON 2009, volume 09481 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems., , , and . Hybrid Systems, volume 999 of Lecture Notes in Computer Science, page 21-44. Springer, (1994)Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment., , , and . EMSOFT, volume 2855 of Lecture Notes in Computer Science, page 35-50. Springer, (2003)Identification of vibrating structures subject to non stationary excitation : A non stationary stochastic realization problem., , and . ICASSP, page 252-255. IEEE, (1982)Motion of edges and motion estimation in a sequence of T.V. pictures., and . ICASSP, page 460-463. IEEE, (1982)Compositionality in Dataflow Synchronous Languages: Specification and Code Generation., , and . COMPOS, volume 1536 of Lecture Notes in Computer Science, page 61-80. Springer, (1997)