Definition, Semantics, and Analysis of Multirate Synchronous AADL.

Kyungmin Bae, Peter Csaba lveczky, Jos Meseguer

Browse the full FM paper archive.