stefan leue
Formal Methods for Industrial Critical Systems
EbookSofort lieferbarThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International...
Scenarios: Models, Transformations and Tools
EbookSofort lieferbarVisual notations and languages continue to play a pivotal role ^ in the design of complex softwar...
Theoretical and Practical Aspects of SPIN Model Checking
EbookSofort lieferbarIncreasing the designer's con dence that a piece of software or hardwareis c- pliant with its spe...
Model Checking Software
EbookSofort lieferbarThe SPIN workshop series brings together researchers and practitioners int- ested in explicit sta...
Formal Methods for Industrial Critical Systems
TaschenbuchBezug 11-15This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International...
Model Checking Software
TaschenbuchBezug 11-15The SPIN workshop series brings together researchers and practitioners int- ested in explicit sta...
Theoretical and Practical Aspects of SPIN Model Checking
TaschenbuchBezug 11-15Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its spe...
Scenarios: Models, Transformations and Tools
TaschenbuchBezug 16-20Visual notations and languages continue to play a pivotal role in the design of complex softwar...
- 1