Logotype Mälardalenn University

IDT |
MRTC |
PROGRESS |
ISS |
IPR |
RECO |
Internal

Startpage www.mdh.se

MRTC research projects

ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems

Leader:	K. Lundqvist
Members:	Kristina Lundqvist
Research group:	Dependability
Status:	active , start date: 2007 , End date: 2012
Funding:	FP7 Marie Curie Reintegration grant

Overview

Project publications

A Formal Analysis Framework for AADL, Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson, The Journal of Science and Technology, November, 2011

Mälardalen University |
Box 883 |
721 23 Västerås/Eskilstuna |
021-101300, 016-153600 |
webmaster |
Latest update: 2012.08.24

tumblr stats