Bozzano, M., Cimatti, A., Katoen, J., Nguyen, V. Y., Noll, T., & Roveri, M. Safety, dependability and performance analysis of extended AADL models.
Παραπομπή Chicago StyleBozzano, Marco., Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, και Marco Roveri. Safety, Dependability and Performance Analysis of Extended AADL Models.
Παραπομπή MLABozzano, Marco., et al. Safety, Dependability and Performance Analysis of Extended AADL Models.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.