dblp.uni-trier.de www.uni-trier.de

16. ECBS 2009: San Francisco, California, USA

16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3602-6 BibTeX



Formal Methods

Systems: Design and Analysis

Safety Analysis

Software II

Modeling II

Embedded Systems

Poster Session Abstracts

Model Based Design Workshop

Copyright © Sat May 16 23:07:54 2009 by Michael Ley (ley@uni-trier.de)