MPG.eBooks - Search Results - "handling"

Cover Image

1

Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel...

Published 2007

Springer Berlin Heidelberg

“... formal methodologies for handling large state spaces, model-based testing, formal description...”