scholarly journals Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

Author(s):  
Tayfun Gezgin ◽  
Björn Koopmann ◽  
Achim Rettberg
Author(s):  
Cheng-Yu HAN ◽  
Yu-Ching LI ◽  
Hao-Tien KAN ◽  
James Chien-Mo LI

2010 ◽  
Vol 52 (4) ◽  
Author(s):  
Dominik Lorenz ◽  
Georg Georgakos ◽  
Ulf Schlichtmann

Author(s):  
Chang-Wan Son ◽  
Jin-Ho Kim ◽  
Tae-Yoon Moon ◽  
Key-Ho Kwon ◽  
Sung-Ho Hwang ◽  
...  
Keyword(s):  

1994 ◽  
Vol XIV (5) ◽  
pp. 88-91 ◽  
Author(s):  
Roderick Chapman ◽  
Alan Burns ◽  
Andy Wellings
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document