Proof-Based System Engineering Using a Virtual System Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Biely, Gérard Le Lann, Ulrich Schmid. Proof-Based System Engineering Using a Virtual System Model. In Miroslaw Malek, Edgar Nett, Neeraj Suri, editors, Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers. Volume 3694 of Lecture Notes in Computer Science, pages 164-179, Springer, 2005. [doi]

This author has not been identified. Look up 'Martin Biely' in GoogleThis author has not been identified. Look up 'Gérard Le Lann' in GoogleThis author has not been identified. Look up 'Ulrich Schmid' in Google

runs on WebDSL