Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms

2020 ◽  
pp. 116-130
Author(s):  
Salwa Habbachi ◽  
Zhiwu Li ◽  
Mohamed Khalgui
Keyword(s):  
Performance Analysis ◽  
Formal Verification ◽  
Real Time ◽  
Scheduling Algorithms ◽  
Real Time Scheduling ◽  
Generic Framework ◽  
Time Scheduling ◽  
And Performance

Real time scheduling algorithms and their performances

1990 ◽  
Vol 28 (1-5) ◽  
pp. 211-216 ◽  
Author(s):  
R. Cobelli ◽  
L. Mezzalira ◽  
G.F. Navoni ◽  
N. Scarabottolo
Keyword(s):  
Real Time ◽  
Scheduling Algorithms ◽  
Real Time Scheduling ◽  
Time Scheduling
Sign in / Sign up

Export Citation Format

Share Document