MEALS Momentum Gathering

This is the third meeting held within the context of the MEALS project. Its aim is to bring researchers, practitioners and industry together to discuss the issues, challenges and latest solutions for formal techniques for the specification, verification and synthesis of dependable ubiquitous computing systems, with respect to both qualitative (i.e. pure non-deterministic models) as well as quantitative behaviour (i.e. extended with probabilistic information).
Visit the MEALS Momentum Gathering home page.

Powered by Drupal