Search alternatives:
22computational methods » computational methods, computational method, computation methods
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... with Spec Explorer -- ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control...”