roderick bloem
Handbook of Model Checking
BuchSofort lieferbarModel checking is a computer-assisted method for the analysis of dynamical systems that can be...
Handbook of Model Checking
EbookSofort lieferbarModel checking is a computer-assisted method for the analysis of dynamical systems that can be mo...
Hardware and Software: Verification and Testing
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 12th International Haifa Verification Confe...
Computer Aided Verification
EbookSofort lieferbarThis book constitutes the proceedings of the 26th International Conference on Computer Aided Veri...
Trusted Systems
EbookSofort lieferbarThis book constitutes the thoroughly refereed conference proceedings of the 5th International Con...
Software Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 13th International Conference on Verified S...
Decidability of Parameterized Verification
EbookSofort lieferbarWhile the classic model checking problem is to decide whether a finite system satisfies a specifi...
Trusted Systems
TaschenbuchBezug 11-15This book constitutes the thoroughly refereed conference proceedings of the 5th International Con...
Computer Aided Verification
TaschenbuchBezug 11-15This book constitutes the proceedings of the 26th International Conference on Computer Aided Veri...
Hardware and Software: Verification and Testing
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 12th International Haifa Verification Co...
Software Verification
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 13th International Conference on Verified S...
Decidability of Parameterized Verification
TaschenbuchBezug 11-15While the classic model checking problem is to decide whether a finite system satisfies a specifi...
- 1