Formal specification of real-time dependable systems.

Eduardo B. Fernndez, Robert B. France

Browse the full ICECCS paper archive.