Dagstuhl Seminar Proceedings:
Tools for the Model-based Development of Certifiable,
Dependable Systems 2007
Michaela Huhn, Hardi Hungar, Doron Peled (Eds.):
Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007.
Dagstuhl Seminar Proceedings 07241 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 
Copyright © Mon Mar 15 03:28:32 2010
by Michael Ley (ley@uni-trier.de)
