Formal Specification and Verification of Task Time Constraints for Real-Time Systems.

Ning Ge, Marc Pantel, Xavier Crgut

Browse the full ISoLA paper archive.