Author:
Cano Julio,Delaval Gwenaël,Rutten Eric
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Beauvais, J.-R., Rutten, E., Gautier, T., Houdebine, R., Le Guernic, P., Tang, Y.-M.: Modeling statecharts and activitycharts as signal equations. ACM Transactions on Software Engineering and Methodology 10(4), 397–451 (2001)
2. Delaval, G., Rutten, É., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems 23(4), 385–418 (2013)
3. Lecture Notes in Computer Science;K. Dittrich,1995
4. Ericsson, A.: Enabling Tool Support for Formal Analysis of ECA Rules. Phd thesis, University of Skövde (2009)
5. Lecture Notes in Computer Science;F. Fleurey,2009
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献