MBAT Combined Model-based Analysis and Testing of Embedded Systems

  • Skip to content
  • Jump to main navigation and login
  • Jump to additional information

Nav view search

Navigation

  • Home
  • News
  • Events
  • Links
  • Downloads
  • Contact

Search

Logo
You are here: Home Downloads
  • Project Organisation
  • Partners
  • Public Deliverables
  • Dissemination
  • Photos
Press
Press Releases
Basic Dissemination Material
No Subcategories
Conference and Workshop Calls
No Subcategories
Newsletters
No Subcategories
 
Powered by Phoca Download

Additional information

Close info

Upcoming Events

  • 24.09.2013 - 24.09.2013 | 09.00
    MBAT co-hosting SA...

All events ..

 

Latest News

  • MBAT Newsletter #3 published
  • 3rd Full Plenary Meeting Vienna 5 & 6 September 2012
  • MBAT Exhibition at ITEA/ARTEMIS Co-Summit Paris Oct 2012

All news items ..

Related Conferences

  • FORMATS'12 - 10th International Conference on Formal Modeling and Analysis of Timed Systems, London, Sept. 18-20, 2012

All related conferences ..

      

MBAT is made possible by public funding from the ARTEMIS Joint Undertaking (Grant Agreement No. 269335) and from ARTEMIS member states Austria, Denmark, Estonia, France, Germany, Italy, Sweden and U.K.

© Copyright MBAT Consortium 2011-2012