Author:
Gössler Gregor,Sifakis Joseph
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Altisen, K., Gössler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on controltheoretical approaches to real-time computing 23(1/2), 55–84 (2002)
2. Lecture Notes in Computer Science;F. Balarin,2002
3. Benveniste, A., LeGuernic, P., Jacquemot, C.: Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming 16, 103–149 (1991)
4. Berry, G., Gonthier, G.: The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19(2), 87–152 (1992)
5. Lecture Notes in Computer Science;S. Bornot,2000
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献