Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540434771, 9783540460176
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals SPINning Parallel Systems Software

2002 ◽  
pp. 213-220 ◽  
Author(s):  
Olga Shumsky Matlin ◽  
Ewing Lusk ◽  
William McCune
Keyword(s):  
Parallel Systems ◽  
Systems Software

Extending the Translation from SDL to Promela

2002 ◽  
pp. 79-94 ◽  
Author(s):  
Armelle Prigent ◽  
Franck Cassez ◽  
Philippe Dhaussy ◽  
Olivier Roux

scholarly journals Bytecode Model Checking: An Experimental Analysis

2002 ◽  
pp. 42-59 ◽  
Author(s):  
David Basin ◽  
Stefan Friedrich ◽  
Marek Gawkowski ◽  
Joachim Posegga
Keyword(s):  
Model Checking ◽  
Experimental Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document