Model-based methods for embedded system design; verification of embedded systems; model-based software architectures; model-based design for control applications; model-based software testing, software/system integration and deployment; tools for model-based embedded system design; software verification;
Chair: Wang Yi, Uppsala University, SE, Contact
Co-Chair: Saddek Bensalem, Université Joseph Fourier, FR, Contact
Members: