Model Checking for a Class of Performance Properties of Fluid Stochastic Models

2006 ◽  
pp. 93-107 ◽  
Author(s):  
Manuela L. Bujorianu ◽  
Marius C. Bujorianu
Keyword(s):  
Model Checking ◽  
Stochastic Models ◽  
Performance Properties

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models

2014 ◽  
pp. 177-192 ◽  
Author(s):  
Dimitri Bohlender ◽  
Harold Bruintjes ◽  
Sebastian Junges ◽  
Jens Katelaan ◽  
Viet Yen Nguyen ◽  
...  
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Real Time ◽  
Stochastic Models ◽  
Statistical Model Checking

Model-Checking of Infinite Graphs Defined by Graph Grammars

2000 ◽  
Vol 5 ◽  
pp. 1 ◽  
Author(s):  
O BURKART ◽  
Y QUEMENER
Keyword(s):  
Model Checking ◽  
Infinite Graphs ◽  
Graph Grammars

Response time methodology for testing between stochastic models of decision making

2009 ◽  
Author(s):  
Mario Fific ◽  
Jorg Rieskamp
Keyword(s):  
Decision Making ◽  
Response Time ◽  
Stochastic Models

Deterministic and Stochastic Models for Memory Load in Information Processing

1975 ◽  
Author(s):  
Joseph M. Scandura ◽  
Donald Voorhies
Keyword(s):  
Information Processing ◽  
Stochastic Models ◽  
Memory Load

Stochastic models for learning.

1955 ◽  
Vol 39 (6) ◽  
pp. 464-464
Author(s):  
John E. Anderson
Keyword(s):  
Stochastic Models

Obtaining Reduced-Order Stochastic Models

1984 ◽  
Author(s):  
Richard J. Vaccaro
Keyword(s):  
Stochastic Models ◽  
Reduced Order
Sign in / Sign up

Export Citation Format

Share Document