Model-Based Verification in the Development of Dependable Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Demissie B. Aredo, Olaf Owe. Model-Based Verification in the Development of Dependable Systems. In International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA. pages 327-334, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Demissie B. Aredo' in GoogleThis author has not been identified. Look up 'Olaf Owe' in Google

runs on WebDSL