Combined Model-based Analysis and Testing of Embedded Systems

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.