Johnsen, A., Lundqvist, K., Pettersson, P., & Jaradat, O. (2012, October). Automated Verification of AADL-Specifications Using UPPAAL. 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, 130-138. https://doi.org/10.1109/HASE.2012.22
Chicago-Zitierstil (17. Ausg.)Johnsen, A., K. Lundqvist, P. Pettersson, und O. Jaradat. "Automated Verification of AADL-Specifications Using UPPAAL." 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering Oct. 2012: 130-138. https://doi.org/10.1109/HASE.2012.22.
MLA-Zitierstil (9. Ausg.)Johnsen, A., et al. "Automated Verification of AADL-Specifications Using UPPAAL." 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, Oct. 2012, pp. 130-138, https://doi.org/10.1109/HASE.2012.22.