MADES will be presented in an own session at the technical concertation
meeting on Formal Methods for Components and Objects (FMCO 2010), that will be held 29 Nov. - 1. Dec. in Graz, Austria.
MADES 1: Andrey Sadovykh (Softeam) - MARTE based methodology and diagram support
MADES 2: Dimitris Kolovos (Univ. of York) - Model Transformations for Embedded System Design and Virtual Platforms
MADES 3: Matteo Rossi (Polit. di Milano) - UML-based Formal Verification of Embedded Systems
MADES 4: Alessandra Bagnato (TXT e-solutions) - MARTE based modeling tools usage scenarios in avionics software development workflows


Views: 31

Comment

You need to be a member of MADES to add comments!

Project Partners

© 2017   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service