Timed Model Checking Service-Oriented Product Lines

2016 ◽  
Vol 9 (7) ◽  
pp. 335-348
Author(s):  
Hongxia Zhang ◽  
Fei Wang
Keyword(s):  
Model Checking ◽  
Product Lines ◽  
Service Oriented ◽  
Timed Model Checking

Service-oriented product lines

2014 ◽  
Vol 39 (2) ◽  
pp. 1-6 ◽  
Author(s):  
Daniela Castelluccia ◽  
Nicola Boffoli
Keyword(s):  
Product Lines ◽  
Service Oriented

Issues in distributed timed model checking

2004 ◽  
Vol 7 (1) ◽  
pp. 4-18 ◽  
Author(s):  
Víctor Braberman ◽  
Alfredo Olivero ◽  
Fernando Schapachnik
Keyword(s):  
Model Checking ◽  
Timed Model Checking

scholarly journals Incremental model checking of delta-oriented software product lines

2016 ◽  
Vol 85 (1) ◽  
pp. 245-267 ◽  
Author(s):  
Malte Lochau ◽  
Stephan Mennicke ◽  
Hauke Baller ◽  
Lars Ribbeck
Keyword(s):  
Model Checking ◽  
Software Product Lines ◽  
Product Lines ◽  
Incremental Model ◽  
Software Product

Probabilistic Timed Model Checking for Atomic Web Service

2011 ◽  
Author(s):  
Honghao Gao ◽  
Huaikou Miao ◽  
Shengbo Chen ◽  
Jia Mei
Keyword(s):  
Model Checking ◽  
Web Service ◽  
Timed Model Checking
Sign in / Sign up

Export Citation Format

Share Document