DMCA

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions (1999)

by J. Xu , B. Randell , A. Romanovsky , R. J. Stroud , A.F. Zorzo , E. Canver , F. von Henke
Venue:In 29th International Symposium on Fault-Tolerant Computing
Citations:18 - 6 self