Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata.

Satoshi Yamane

Browse the full COMPSAC paper archive.