June 2009 User Day

From AadlWiki

Jump to: navigation, search

Formal Verification of AADL Specifications in the Topcased Environment by J.-P. Bodeveix. On the Behavior Annex and FIACRE as interchange notation for model checkers.

Personal tools