Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems

Daniel Zimmermann, Ralf H. Reussner. Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems. In Manuel Mazzara, Iulian Ober, Gwen Sala√ľn, editors, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers. Volume 11176 of Lecture Notes in Computer Science, pages 506-511, Springer, 2018. [doi]

Abstract

Abstract is missing.