Author:
Asăvoae Irina Măriuca,Asăvoae Mihail,Riesco Adrián
Publisher
Springer International Publishing
Reference26 articles.
1. Lecture Notes in Computer Science;M. Alpuente,2011
2. Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Sci. Comput. Program (SCP) 19(2), 87–152 (1992)
3. Lecture Notes in Computer Science;M. Clavel,2007
4. Ellison, C., Rosu, G.: An executable formal semantics of c with applications. In: POPL, pp. 533–544 (2012)
5. Esterel Technologies Scade Language Reference Manual 2011 (2011)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献