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

od Brim, Lubos.
Izdano 2007

Model-Based Testing of Reactive Systems Advanced Lectures /

Izdano 2005