Model Checking Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540401179, 9783540448297
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Methodology for Model-Checking Ad-hoc Networks

2003 ◽  
pp. 181-196 ◽  
Author(s):  
Irfan Zakiuddin ◽  
Michael Goldsmith ◽  
Paul Whittaker ◽  
Paul Gardiner
Keyword(s):  
Model Checking ◽  
Ad Hoc Networks ◽  
Ad Hoc ◽  
Hoc Networks

A Requirements Patterns-Driven Approach to Specify Systems and Check Properties

2003 ◽  
pp. 18-33 ◽  
Author(s):  
Sascha Konrad ◽  
Laura A. Campbell ◽  
Betty H. C. Cheng ◽  
Min Deng
Keyword(s):  
Requirements Patterns

scholarly journals The Maude LTL Model Checker and Its Implementation

2003 ◽  
pp. 230-234 ◽  
Author(s):  
Steven Eker ◽  
José Meseguer ◽  
Ambarish Sridharanarayanan
Keyword(s):  
Model Checker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document