Constructive model-based analysis for safety assessment
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Edson WatanabeVolume:
14
Language:
english
DOI:
10.1007/s10009-012-0238-x
Date:
November, 2012
File:
PDF, 2.65 MB
english, 2012