Formal verification for distributed real-time control: periodic Producer/Consumer.

Shawn Koppenhoefer, Jean-Dominique Decotignie

Browse the full ICECCS paper archive.