Formal verification of fault-tolerant software design : the CSP approach

Wing Lok YEUNG, S. A. SCHNEIDER

Research output: Journal PublicationsJournal Article (refereed)peer-review

6 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Formal verification of fault-tolerant software design : the CSP approach'. Together they form a unique fingerprint.

Engineering & Materials Science