Login / Signup

Constructive model-based analysis for safety assessment.

Adriano GomesAlexandre MotaAugusto SampaioFelipe FerriEdson H. Watanabe
Published in: Int. J. Softw. Tools Technol. Transf. (2012)
Keyphrases