Sale!
Add to Wishlist

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers eBook

Original price was: $74.99.Current price is: $15.00.

By: Javier Camara; Martin Steffen
Publisher: Springer
Print ISBN: 9783030575052, 3030575055
eText ISBN: 9783030575069, 3030575063
Edition: 1st
Copyright year: 2020

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers eBook

Original price was: $74.99.Current price is: $15.00.

Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;  ASYDE 2019 — 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;  and FOCLASA 2019 — 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems​.

Reviews

There are no reviews yet.

Be the first to review “Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers eBook”