concurrent and real-time systems / software safety / real production systems / cloud computing / self-adaptive systems / software testing / cyber-physical systems / control systems / /
Person
Michael Butler / Sylvain Conchon / Tristan Crolard / Etienne André / U. Southampton / /
Position
Arrangment Chair / France Local / Chair / France Programs Chairs Workshop / General Chair / Local Arrangment Chair / Butler / Chairs Workshop Chair Programs / /
The 17th International Conference on Formal Engineering Methods CNAM Paris, 3 – 6 Nov. ICFEM 2015