Model-checking dense-time Duration Calculus

2004 ◽  
Vol 16 (2) ◽  
pp. 121-139 ◽  
Author(s):  
Martin Fränzle
Keyword(s):  
Model Checking ◽  
Time Duration ◽  
Duration Calculus

scholarly journals Model checking Duration Calculus: a practical approach

2008 ◽  
Vol 20 (4-5) ◽  
pp. 481-505 ◽  
Author(s):  
Roland Meyer ◽  
Johannes Faber ◽  
Jochen Hoenicke ◽  
Andrey Rybalchenko
Keyword(s):  
Model Checking ◽  
Practical Approach ◽  
Duration Calculus

Model-checking discrete duration calculus

1994 ◽  
Vol 6 (S1) ◽  
pp. 826-845 ◽  
Author(s):  
Michael R. Hansen
Keyword(s):  
Model Checking ◽  
Duration Calculus

Improving time duration estimation with training on working memory

2012 ◽  
Author(s):  
Yoshihiro S. Okazaki ◽  
Yukio Tsuchida ◽  
Masamichi Yuzawa ◽  
Keigo Minakuchi ◽  
Nozomi Notsuyama ◽  
...  
Keyword(s):  
Working Memory ◽  
Time Duration ◽  
Duration Estimation
Sign in / Sign up

Export Citation Format

Share Document