Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties

Author(s):  
James H. Hill ◽  
Aniruddha Gokhale
Author(s):  
Jaiganesh Balasubramanian ◽  
Sumant Tambe ◽  
Balakrishnan Dasarathy ◽  
Shrirang Gadgil ◽  
Frederick Porter ◽  
...  

2008 ◽  
Vol 73 (1) ◽  
pp. 39-58 ◽  
Author(s):  
Aniruddha Gokhale ◽  
Krishnakumar Balasubramanian ◽  
Arvind S. Krishna ◽  
Jaiganesh Balasubramanian ◽  
George Edwards ◽  
...  

2005 ◽  
pp. 329-361 ◽  
Author(s):  
Gabriele Trombetti ◽  
Aniruddha Gokhale ◽  
Douglas C. Schmidt ◽  
Jesse Greenwald ◽  
John Hatcliff ◽  
...  

Author(s):  
Sumant Tambe ◽  
Jaiganesh Balasubramanian ◽  
Aniruddha Gokhale ◽  
Thomas Damiano

Sign in / Sign up

Export Citation Format

Share Document