On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols.

Purnendu Sinha, Neeraj Suri

Browse the full RTSS paper archive.