External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Safety, Dependability and Performance Analysis of Extended AADL Models

Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J., 54(5):754-775, 2011. [doi]

Authors

Marco Bozzano

This author has not been identified. Look up 'Marco Bozzano' in Google

Alessandro Cimatti

This author has not been identified. Look up 'Alessandro Cimatti' in Google

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google

Viet Yen Nguyen

This author has not been identified. Look up 'Viet Yen Nguyen' in Google

Thomas Noll

This author has not been identified. Look up 'Thomas Noll' in Google

Marco Roveri

This author has not been identified. It may be one of the following persons: Look up 'Marco Roveri' in Google
runs on