Model-based Verification in the Development of Dependable Systems Demissie Aredo Olaf Owe Publication details Journal: Ukjent, p. 9–9, Wednesday 1. December 2004 You are here: Home Publications Scientific article Model-based Verification in the Development of Dependable Systems