An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems

2017 ◽  
Vol 16 (5s) ◽  
pp. 1-20 ◽  
Author(s):  
Philip S. Kurtin ◽  
Marco J. G. Bekooij
1994 ◽  
Vol 5 (4) ◽  
pp. 105-109
Author(s):  
Mohamed E. Fayad ◽  
Milton L. Fulghum ◽  
Wei-Tek Tsai

IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett

Author(s):  
Pallab Banerjee ◽  
◽  
Riya Shree ◽  
Richa Kumari Verma ◽  
◽  
...  

Sign in / Sign up

Export Citation Format

Share Document