Bozzano, M., Cimatti, A., Katoen, J., Nguyen, V. Y., Noll, T., & Roveri, M. Safety, dependability and performance analysis of extended AADL models.
Dyfyniad Arddull ChicagoBozzano, Marco., Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, và Marco Roveri. Safety, Dependability and Performance Analysis of Extended AADL Models.
Dyfyniad MLABozzano, Marco., et al. Safety, Dependability and Performance Analysis of Extended AADL Models.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.