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 Project Organisation Project Structure
  • Project Organisation
    • Project Structure
    • Project Milestones
  • Partners
  • Public Deliverables
  • Dissemination
  • Photos

Project Structure

  • Print

 

 

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 ..

MBAT Internal Server (Members Only)

MBAT Projectplace

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