A compositional framework for fault tolerance by specification transformation
Doron Peled, Mathai JosephVolume:
128
Year:
1994
Language:
english
Pages:
27
DOI:
10.1016/0304-3975(94)90166-x
File:
PDF, 2.09 MB
english, 1994