© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Generating fault trees from fmea
C.J. Price, M.S. Wilson, J. Timmis, and C Cain
In 7th International Workshop on Principles of Diagnosis, pages 182-196, 1996.Bibtex Record
@inproceedings{1055, author = {Price, C.J. and Wilson, M.S. and Timmis, J. and Cain, C}, title = {Generating Fault Trees from FMEA}, month = {unknown}, year = {1996}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1996/1055}, booktitle = {7th International Workshop on Principles of Diagnosis}, }