abstract model checking
Recently Published Documents

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract model checking for Web services

2008 ◽  
Vol 13 (4) ◽  
pp. 466-470
Author(s):  
Junyan Qian ◽  
Guoyong Cai ◽  
Tianlong Gu ◽  
Lingzhong Zhao
Keyword(s):  
Model Checking ◽  
Web Services ◽  
Abstract Model ◽  
Abstract Model Checking

scholarly journals A semantic framework for the abstract model checking of tccp programs

2005 ◽  
Vol 346 (1) ◽  
pp. 58-95 ◽  
Author(s):  
María Alpuente ◽  
María del Mar Gallardo ◽  
Ernesto Pimentel ◽  
Alicia Villanueva
Keyword(s):  
Model Checking ◽  
Abstract Model ◽  
Semantic Framework ◽  
Abstract Model Checking

scholarly journals Abstract Model Checking of tccp programs

2005 ◽  
Vol 112 ◽  
pp. 19-36
Author(s):  
María Alpuente ◽  
María del Mar Gallardo ◽  
Ernesto Pimentel ◽  
Alicia Villanueva
Keyword(s):  
Model Checking ◽  
Abstract Model ◽  
Abstract Model Checking

A generalized semantics of PROMELA for abstract model checking

2004 ◽  
Vol 16 (3) ◽  
Author(s):  
Mar�a del Mar Gallardo ◽  
Pedro Merino ◽  
Ernesto Pimentel
Keyword(s):  
Model Checking ◽  
Abstract Model ◽  
Abstract Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document