Schedulability analysis of fixed-priority systems using timed automata
Under an Elsevier user license
open archive
Keywords
Real time systems
Schedulability analysis
Timed automata
Modelling and verification
Tool
Cited by (0)
Copyright © 2005 Elsevier B.V. All rights reserved.