Model-based Verification in the Development of Dependable Systems Demissie Aredo Olaf Owe Publikasjonsdetaljer Journal: Ukjent, p. 9–9, Wednesday 1. December 2004 Du er her: Hjem Publikasjoner Vitenskapelig artikkel Model-based Verification in the Development of Dependable Systems