E-Book, Englisch, Band 11176, 658 Seiten, eBook
STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
E-Book, Englisch, Band 11176, 658 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-04771-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
The 65 full papers presented were carefully reviewed and selected from 120 submissions.
The events whose papers are included in this volume are:
CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical Systems
DataMod 2018: 7th International Symposium From Data to Models and Back
FMIS 2018: 7th International Workshop on Formal Methods for Interactive Systems
FOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative Systems
GCM 2018: 9th International Workshop on Graph Computation Models
MDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-RuntimeInteraction in Complex Systems
MSE 2018: 3rd International Workshop on Microservices: Science and Engineering
SecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS).- From Data to Models and Back (DataMod).- Formal Methods for Interactive Systems (FMIS).- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA).- Graph Computation Models (GCM).- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun).- Microservices: Science and Engineering (MSE).- Security for and by Model-Driven Engineering (MDE).
