Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani. Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. In Roger D. Chamberlain, Walid Taha, Martin Törngren, editors, Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers. Volume 11615 of Lecture Notes in Computer Science, pages 3-27, Springer, 2018. [doi]

Abstract

Abstract is missing.