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]

Authors

Daniel Zimmermann

This author has not been identified. Look up 'Daniel Zimmermann' in Google

Ralf H. Reussner

This author has not been identified. Look up 'Ralf H. Reussner' in Google