STAF Workshops 2018: Toulouse, France

Refine list

showing all ?? records

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)

a service of  Schloss Dagstuhl - Leibniz Center for Informatics