Constructive model-based analysis for safety assessment

Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson H. Watanabe. Constructive model-based analysis for safety assessment. STTT, 14(6):673-702, 2012. [doi]

Authors

Adriano Gomes

This author has not been identified. Look up 'Adriano Gomes' in Google

Alexandre Mota

This author has not been identified. Look up 'Alexandre Mota' in Google

Augusto Sampaio

This author has not been identified. Look up 'Augusto Sampaio' in Google

Felipe Ferri

This author has not been identified. Look up 'Felipe Ferri' in Google

Edson H. Watanabe

This author has not been identified. Look up 'Edson H. Watanabe' in Google