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

Nonfiction, Computers, Computer Hardware, Input-Output Equipment, General Computing, Programming
Cover of the book Software Engineering and Formal Methods by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319747811
Publisher: Springer International Publishing Publication: February 1, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783319747811
Publisher: Springer International Publishing
Publication: February 1, 2018
Imprint: Springer
Language: English

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 the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 the following workshops:

DataMod 2017 -- 6th International Symposium “From Data to Models and Back"; FAACS 2017 --  1st Workshop on Formal Approaches for Advanced Computing Systems; MSE 2017 -- 1st Workshop on Microservices: Science and Engineering; CoSim-CPS 2017 -- 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems; FOCLASA 2017 -- 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems​.

More books from Springer International Publishing

Cover of the book Electrical Measurements in the Laboratory Practice by
Cover of the book Mimetic Learning at Work by
Cover of the book Modeling Approaches to Natural Convection in Porous Media by
Cover of the book Intelligent Computing Theories and Methodologies by
Cover of the book Analysis and Partial Differential Equations: Perspectives from Developing Countries by
Cover of the book Security Privatization by
Cover of the book Science Between Truth and Ethical Responsibility by
Cover of the book Service Life and Durability of Reinforced Concrete Structures by
Cover of the book Measuring Progress Towards Sustainability by
Cover of the book Norm Contestation by
Cover of the book Practical Issues Updates in Anesthesia and Intensive Care by
Cover of the book Postal and Delivery Innovation in the Digital Economy by
Cover of the book Fractal Solutions for Understanding Complex Systems in Earth Sciences by
Cover of the book Biologically Rationalized Computing Techniques For Image Processing Applications by
Cover of the book Vector Network Analyzer (VNA) Measurements and Uncertainty Assessment by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy