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 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Cerone, Antonio (Editor, http://id.loc.gov/vocabulary/relators/edt), Roveri, Marco (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Programming and Software Engineering ; 10729
• Subjects: Computer logic.; Computer organization.; Software engineering.; Artificial intelligence.; Computers.; Computer hardware.; Logics and Meanings of Programs.; Computer Systems Organization and Communication Networks.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence.; Computing Milieux.; Computer Hardware.

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. The 38 papers presented in this volume were carefully reviewed and selected from a total of 55 submissions. They stem from th...