Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci. Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. In Antonio Cerone, Marco Roveri, editors, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers. Volume 10729 of Lecture Notes in Computer Science, pages 423-437, Springer, 2017.
Abstract is missing.