Opening book details…
About this Computer Science article
An Application of Formal Analysis to Software in a Fault-tolerant Environment by Chisholm, G.H.; Wojcik, A.S. is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Chisholm, G.H.; Wojcik, A.S.
- Publisher
- IEEE; Institute of Electrical and Electronics Engineers; Institute of Electrical and Electronics Engineers (IEEE) (ISSN 0018-9340)
- Published
- 1999
- Language
- EN
- Field
- Computer Science (Physical Sciences)