Performance Model Checking Scenario-Aware Dataflow

2011 ◽  
pp. 43-59 ◽  
Author(s):  
Bart Theelen ◽  
Marc Geilen ◽  
Jeroen Voeten
Keyword(s):  
Model Checking ◽  
Performance Model

Family Identification with the Firm, Non-family Stakeholders Orientation, and Economic Performance--Model

2020 ◽  
Author(s):  
Mª de la Cruz Déniz‐Déniz ◽  
Mª Katiuska Cabrera-Suárez ◽  
Josefa D. Martín-Santana
Keyword(s):  
Economic Performance ◽  
Performance Model

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