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
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​.

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 Climate Change and Writing the Canadian Arctic by
Cover of the book Neural Information Processing by
Cover of the book Singularities of Robot Mechanisms by
Cover of the book Image Analysis and Recognition by
Cover of the book Perceptions of Pregnancy from the Seventeenth to the Twentieth Century by
Cover of the book Ergodic Theory by
Cover of the book Foreign Direct Investment in Central and Eastern Europe by
Cover of the book Advanced Technologies in Practical Applications for National Security by
Cover of the book The Progressive Alliance and the Rise of Labour, 1903-1922 by
Cover of the book Transport Across Natural and Modified Biological Membranes and its Implications in Physiology and Therapy by
Cover of the book Optoelectronic Circuits in Nanometer CMOS Technology by
Cover of the book Obesity and Brain Function by
Cover of the book Advances in Cryptology – EUROCRYPT 2018 by
Cover of the book Advanced Maintenance Policies for Shock and Damage Models by
Cover of the book Formulating Principal-Agent Service Contracts for a Revenue Generating Unit 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