Forum Discussions (15)

Discussions Replies Latest Activity

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

MADES will be presented in an own session at the technical concertationmeeting on Formal Methods for Components and Objects (FMCO 2010), th…

Started by Alessandra Bagnato

1 Feb 28, 2011
Reply by Alessandra Bagnato

MADES@Paris - Technical Meeting on Verification Modeling

On 18th February 2011 the MADES Project held in Paris a Technical Meeting on verification modeling examples to be included in the MADES App…

Started by Alessandra Bagnato

0 Feb 19, 2011

MADES Co-operation with other projects - CHARTER & ENOSYS

CHARTER Project (http://charterproject.ning.com/ ) and ENOSYS Project (http://www.enosys-project.eu/) have been invited for a presentation…

Started by Alessandra Bagnato

0 Feb 9, 2011

HoPES'10 Paper - MADES: Embedded Systems Engineering Approach in the Avionics Domain"

A. Bagnato, A. Sadovykh, R.F. Paige, D.S. Kolovos, L. Baresi, A. Morzenti and M. Rossi. MADES: Embedded Systems Engineering Approach in the…

Started by Alessandra Bagnato

0 Dec 23, 2010

MADES Project meeting, Milan, 3rd-4th February 2010

The MADES Project held its kick off project meeting in Milan during 3rd and 4th Debruary 2010. The meeting was hosted by TXT e-Solutions S.…

Started by Administrator

0 Mar 29, 2010

RSS

Project Partners

© 2017   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service