Formal Verification of Real-Time Systems With Preemptive Scheduling
Real-Time Systems - Netherlands
doi 10.1007/s11241-008-9059-0
Full Text
Open PDFAbstract
Available in full text
Categories
Date
August 28, 2008
Authors
Publisher
Springer Science and Business Media LLC