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 Dissemination Related Conferences
  • Project Organisation
  • Partners
  • Public Deliverables
  • Dissemination
    • Basic Dissemination Materials
    • Press Releases
    • Newsletters
    • Related Conferences
  • Photos
Display # 
FORMATS'12 - 10th International Conference on Formal Modeling and Analysis of Timed Systems, London, Sept. 18-20, 2012

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