@inproceedings{a8803e8a01714d599e8048f1adbdf197,
title = "A comparative study of FIACRE and TASM to define AADL real time concepts",
abstract = "This paper presents some real-time concepts as they are found in the AADL language and proposes their expression in two formalisms suitable for formal analysis: FIACRE which is based on Timed Transition Systems and TASM which extends Abstract State Machines with resource consumption mechanisms.",
author = "Lei Pi and Zhibin Yang and Bodeveix, \{J. P.\} and M. Filali and Kai Hu and Dianfu Ma",
year = "2009",
doi = "10.1109/ICECCS.2009.9",
language = "英语",
isbn = "9780769537023",
series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "347--352",
booktitle = "Proceedings - 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009",
address = "美国",
note = "14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009 ; Conference date: 02-06-2009 Through 04-06-2009",
}