A compositional framework for fault tolerance by specification transformation

Doron Peled, Mathai Joseph

Research output: Contribution to journalArticlepeer-review

10 Scopus citations

Fingerprint

Dive into the research topics of 'A compositional framework for fault tolerance by specification transformation'. Together they form a unique fingerprint.

Computer Science