MADES Session @ FMCO 2010 (http://fmco.liacs.nl/fmco10.html)

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 Session will be held on 29th November afternoon as follows:

MADES 1: Andrey Sadovykh(Softeam)
MARTE based methodology and diagram support
 
MADES 2: Dimitris Kolovos <dkolovos@cs.york.ac.uk> (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)
MARTE based modeling tools usage scenarios in avionics software development workflows

Views: 100

Reply to This

Replies to This Discussion

All Formal Methods for Components and Objects (FMCO 2010) presented slides are  now online @ http://fmco.liacs.nl/fmco10.html -> Program
23 paper submissions are expected for the FMCO post-proceedings.

RSS

Project Partners

© 2024   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service