Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling

Author(s):  
Mikael Åsberg ◽  
Paul Pettersson ◽  
Thomas Nolte
2017 ◽  
Vol 117 ◽  
pp. 1-5 ◽  
Author(s):  
Georg von der Brüggen ◽  
Jian-Jia Chen ◽  
Robert I. Davis ◽  
Wen-Hung Huang

1998 ◽  
Vol 47 (6) ◽  
pp. 700-713 ◽  
Author(s):  
Chang-Gun Lee ◽  
Hoosun Hahn ◽  
Yang-Min Seo ◽  
Sang Lyul Min ◽  
Rhan Ha ◽  
...  

Author(s):  
Chang-Gun Lee ◽  
Joosun Hahn ◽  
Yang-Min Seo ◽  
Sang Lyul Min ◽  
Rhan Ha ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document