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 Divergence and Convergence of Automobile Fuel Economy Regulations by
Cover of the book Introduction to Mathematical Biology by
Cover of the book Lipidomics of Stem Cells by
Cover of the book Characterization of Carbon Nanotube Based Composites under Consideration of Defects by
Cover of the book The Diagnosis and Treatment of Male Infertility by
Cover of the book Feminist Perspectives on Building a Better Psychological Science of Gender by
Cover of the book Computational Science and Its Applications – ICCSA 2016 by
Cover of the book Carbon by
Cover of the book Interpretations of Luxury by
Cover of the book Device Physics, Modeling, Technology, and Analysis for Silicon MESFET by
Cover of the book Mapping Urban Practices Through Mobile Phone Data by
Cover of the book Advances in Clinical Science by
Cover of the book Recent Advancements in Materials and Systems for Thermal Energy Storage by
Cover of the book Surgeons as Educators by
Cover of the book Remarkable Natural Material Surfaces and Their Engineering Potential 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