@article{e2d1f873cc114d889d019003c7a7826a,
title = "A Framework for Integrating Requirements-Based Design and Diagnosis",
keywords = "Computer science, Systems engineering, Requirements analysis, Software engineering, Engineering, Programming language, Software",
author = "Gregory Provan",
year = "2010",
doi = "10.36001/phmconf.2010.v2i1.1942",
language = "English",
journal = "Proceedings of the Annual Conference of the Prognostics and Health Management Society, PHM",
issn = "2325-0178",
publisher = "Prognostics and Health Management Society",
}