AADL Execution Semantics Transformation for Formal Verification.

Thomas Abdoul, Jol Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger

Browse the full ICECCS paper archive.