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
Author(s):  
Arun Sangaiah ◽  
Ford Gao ◽  
Krishn Mishra

2020 ◽  
Vol 1 ◽  
pp. 1961-1964
Author(s):  
Sami Muhaidat ◽  
Paschalis C. Sofotasios ◽  
Kaibin Huang ◽  
Muhammad Ali Imran ◽  
Zhiguo Ding ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document