Author:
Castello Rodolfo,Mili Rym,Tollis Ioannis G.
Reference33 articles.
1. Statecharts: a visual formalism for complex systems
2. STATEMATE: a working environment for the development of complex reactive systems
3. Rational. Rose Java. http://www.rational.com.
4. Overcoming the crisis in real-time software development. http://www.Objectime.on.ca/otl/technical/crisis.pdf.
5. Automatic code for embedded systems based on formal methods. http://www.Telelogic.se/solution/techpap.asp.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献