Buch, Englisch, 658 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1013 g
STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Buch, Englisch, 658 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1013 g
Reihe: Programming and Software Engineering
ISBN: 978-3-030-04770-2
Verlag: Springer International Publishing
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.
Fachgebiete
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).
