Forum Discussions (15)

Sort by:

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

Project Partners