Validating the Design Model of an Autonomous Truck System
暂无分享,去创建一个
Paul Pettersson | Cristina Seceleanu | Jagadish Suryadevara | P. Pettersson | C. Seceleanu | Jagadish Suryadevara
[1] Joseph Sifakis,et al. Building models of real-time systems from application software , 2003, Proc. IEEE.
[2] Séverine Sentilles,et al. Save-IDE - A tool for design, analysis and implementation of component-based embedded systems , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[3] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[4] Wang Yi,et al. Timed vs. Time-Triggered Automata , 2004, CONCUR.
[5] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[6] Robert de Simone,et al. Event-triggered vs. time-triggered communications with UML MARTE , 2008, 2008 Forum on Specification, Verification and Design Languages.
[7] Séverine Sentilles,et al. ProCom - the Progress Component Model Reference Manual, version 1.0 , 2008 .
[8] John Håkansson,et al. The SAVE approach to component-based development of vehicular systems , 2007, J. Syst. Softw..
[9] Hans Hansson,et al. The SaveCCM Language Reference Manual , 2007 .