暂无分享,去创建一个
[1] Alexander Pretschner,et al. Methodological Issues in Model-Based Testing , 2004, Model-Based Testing of Reactive Systems.
[2] Insup Lee,et al. R-Charon, a Modeling Language for Reconfigurable Hybrid Systems , 2006, HSCC.
[3] Maria Spichkova. Architecture: Requirements + Decomposition + Refinement , 2011, Softwaretechnik-Trends.
[4] Pravin Varaiya,et al. SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata , 1996, Hybrid Systems.
[5] Arnold Berger,et al. Embedded Systems Design: An Introduction to Processes, Tools, and Techniques , 2001 .
[6] B. Vogel-Heuser,et al. Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.
[7] Manfred Broy,et al. Model-Based Testing of Reactive Systems, Advanced Lectures , 2005 .
[8] F. Mueller. Challenges for Cyber-Physical Systems : Security , Timing Analysis and Soft Error Protection , 2022 .
[9] Maria Spichkova,et al. Towards system development methodologies: From software to cyber-physical domain , 2014, ArXiv.
[10] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[11] Peter Fritzson,et al. Models for Distributed Real-Time Simulation in a Vehicle Co-Simulator Setup , 2013, EOOLT.
[12] Martin Wirsing,et al. Software-Intensive Systems and New Computing Paradigms - Challenges and Visions , 2008, Software-Intensive Systems and New Computing Paradigms.
[13] Peter A. Fritzson,et al. Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .
[14] Peter A. Fritzson,et al. Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica , 2011 .
[15] Andrea Tundis,et al. Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches , 2013, EOOLT.
[16] Thomas A. Henzinger,et al. What Good Are Digital Clocks? , 1992, ICALP.
[17] Jürgen Haufe,et al. A new Approach for Modeling and Verification of Discrete Control Components within a Modelica Environment 1 , 2008 .
[18] Albert M. K. Cheng. Synthesis , Verification , and Optimization of Cyber-Physical Systems , 2006 .
[19] Ivica Crnkovic,et al. Towards a Methodology for Hardware and Software Design Separation in Embedded Systems , 2012, ICSEA 2012.
[20] Birgit Vogel-Heuser,et al. Common communication model for distributed automation systems , 2011, 2011 9th IEEE International Conference on Industrial Informatics.
[21] Manfred Broy,et al. Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science) , 2005 .
[22] Ka Lok Man,et al. Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..
[23] Maria Spichkova. Refinement-Based Verification of Interactive Real-Time Systems , 2008, Electron. Notes Theor. Comput. Sci..
[24] Maria Spichkova. Towards Focus on Time , 2014, ArXiv.
[25] Pallab Dasgupta,et al. Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications , 2013, IEEE Embedded Systems Letters.