Safety Verification Method for Priority-Based Real-Time Software.

Fumio Narisawa, Yoshikazu Ueda

Browse the full SoMeT paper archive.