Author:
Hu Kai,Zhang Teng,Ding Yi,Zhu Jian,Talpin Jean-Pierre
Funder
National Natural Science Foundation of China
Reference33 articles.
1. Safety critical systems: challenges and directions;Knight,2002
2. The synchronous approach to reactive and real-time systems;Benveniste,1991
3. The synchronous languages 12 years later;Benveniste;Proc. IEEE,2003
4. The ESTEREL synchronous programming language: design, semantics, implementation;Berry;Sci. Comput. Program.,1992
5. The synchronous data flow programming language LUSTRE;Halbwachs;Proc. IEEE,1991