Login / Signup

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach.

Binoy RavindranGérard Le LannPeng Li
Published in: HASE (2002)
Keyphrases