Formal Modeling and Analysis of Timed Systems

2019 ◽  
Keyword(s):  
Formal Modeling ◽  
Timed Systems ◽  
Modeling And Analysis

scholarly journals Guest Editorial: Special issue on formal modeling and analysis of timed systems

2017 ◽  
Vol 53 (3) ◽  
pp. 289-290
Author(s):  
Marco Paolieri ◽  
Sriram Sankaranarayanan ◽  
Enrico Vicario
Keyword(s):  
Guest Editorial ◽  
Formal Modeling ◽  
Special Issue ◽  
Timed Systems ◽  
Modeling And Analysis ◽  
Editorial Special Issue
Sign in / Sign up

Export Citation Format

Share Document