Compass-announce March 2011

compass-announce@lists.rwth-aachen.de

1 participants
1 discussions

Tutorial on "Safety, Dependability and Performance Analysis of Extended AADL Models" at FM 2011

by COMPASS Consortium

Tutorial announcement --------------------- "Safety, Dependability and Performance Analysis of Extended AADL Models" Presenters: M. Bozzano, A. Cimatti, J.-P. Katoen, T. Noll in conjunction with the 17th Int. Symposium on Formal Methods (FM 2011) June 21, 2011, Lero, Limerick, Ireland. The tutorial will present a component-based modeling approach to system-software co-engineering of real-time embedded systems, in particular aerospace systems, and will be accompanied by a demo of the COMPASS toolset. Fore more information on the tutorial, please visit: http://sites.lero.ie/fm2011/Tutorial6.html and the web site of the FM 2011 Symposium: http://sites.lero.ie/fm2011 Best regards, The COMPASS Consortium

13 years, 6 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Compass-announce March 2011