Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
Towards a formal semantics for the AADL behavior annex
DATE, 2009.
@inproceedings{DATE-2009-YangHMP,
author = "Zhibin Yang and Kai Hu and Dianfu Ma and Lei Pi",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1166--1171",
publisher = "{IEEE}",
title = "{Towards a formal semantics for the AADL behavior annex}",
year = 2009,
}