scholarly journals Model Checking of Extended OCL Constraints on UML Models in SOCLe

2007 ◽  
pp. 59-75 ◽  
Author(s):  
John Mullins ◽  
Raveca Oarga
Keyword(s):  
Model Checking ◽  
Uml Models

scholarly journals Applying Model Checking to Concurrent UML Models.

2008 ◽  
Vol 7 (1) ◽  
pp. 59 ◽  
Author(s):  
Patrice Gagnon ◽  
Farid Mokhati ◽  
Mourad Badri
Keyword(s):  
Model Checking ◽  
Uml Models

Effective UML models by using database system

2013 ◽  
Vol 1 (1) ◽  
pp. 1-3
Author(s):  
Faisal Halim ◽  
◽  
Rizal Muttaqin ◽  
Keyword(s):  
Database System ◽  
Uml Models

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software
Sign in / Sign up

Export Citation Format

Share Document