( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An operational semantics for Stateflow.

, и . Int. J. Softw. Tools Technol. Transf., 9 (5-6): 447-456 (2007)

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.

Grégoire Laurence

Mireille Grégoire

Grégoire Dooms

Grégoire Verlut

Grégoire Pau

 

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

Tool Integration with the Evidential Tool Bus., , , и . VMCAI, том 7737 из Lecture Notes in Computer Science, стр. 275-294. Springer, (2013)An operational semantics for Stateflow., и . Int. J. Softw. Tools Technol. Transf., 9 (5-6): 447-456 (2007)Modular resetting of synchronous data-flow programs., и . PPDP, стр. 289-300. ACM, (2000)Mixing signals and modes in synchronous data-flow systems., , и . EMSOFT, стр. 73-82. ACM, (2006)Clock-directed modular code generation for synchronous data-flow languages., , , и . LCTES, стр. 121-130. ACM, (2008)Generating Efficient Test Sets with a Model Checker., , и . SEFM, стр. 261-270. IEEE Computer Society, (2004)Towards Computational Hybrid System Semantics for Time-Based Block Diagrams., , , и . ADHS, том 42 из IFAC Proceedings Volumes, стр. 376-385. Elsevier, (2009)An Operational Semantics for Stateflow., и . FASE, том 2984 из Lecture Notes in Computer Science, стр. 229-243. Springer, (2004)Certifying Synchrony for Free., и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 495-506. Springer, (2001)A Denotational Semantics for Stateflow. Proceedings of the 5th ACM international conference on Embedded software - EMSOFT \textquotesingle05, ACM Press, (2005)