Subject
Hardware and Architecture,Information Systems,Software
Reference36 articles.
1. G. Berry, A quick guide to ESTEREL version 5.10, release 1.0, Technical report, Ecole des Mines and INRIA, February 1997.
2. Design and Validation of Computer Protocols;Holzmann,1991
3. The model checker spin;Holzmann;IEEE Trans. Software Eng.,1997
4. F. Maraninchi, N. Halbwachs, Compiling ARGOS into Boolean equations, in: Lecture Notes in Computer Science, Vol. 1135, Springer, Berlin, 1996, pp. 72–90.
5. A. Benveniste, P.L. Guernic, C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language an its semantics, Sci. Comput. Programming (16) (1991) 103–149.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Visualizing Formalisms with ORM Models;On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops;2007