共 24 条
- [1] [Anonymous], 2008, AS5506A SAE
- [2] [Anonymous], 2005, AS5506 SAE
- [4] Borger E., 2012, Abstract State Machines: A Method for High-level System Design and Analysis
- [5] Code generation from AADL to a real-time operating system: an experimentation feedback on the use of model transformation [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 257 - +
- [6] Dissaux P., 2008, P EUR REAL TIM SYST, P32
- [7] Filali-Amine M, 2010, LECT NOTES COMPUT SC, V5977, P245, DOI 10.1007/978-3-642-11811-1_19
- [8] The AADL behaviour annex -: experiments and roadmap [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 377 - +