Subject
Hardware and Architecture,Information Systems,Software
Reference53 articles.
1. Rigorous design of robot software: A formal component-based approach;Abdellatif;Robot. Auton. Syst.,2012
2. Model-based implementation of real-time applications;Abdellatif,2010
3. Rigorous implementation of real-time systems – from theory to application;Abdellatif;Math. Struct. Comput. Sci.,2013
4. Code synthesis for timed automata;Amnell;Nord. J. Comput.,2002
5. A tutorial on Uppaal 4.0;Behrmann,2004
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献