Two Formal Semantics of a Subset of the AADL.

Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin

Browse the full ICECCS paper archive.