Christelle Chaudet

Latest

• Formal Verification of AADL Specifications in the Topcased Environment