%0 Conference Paper %1 conf/prdc/SheldonKZ01 %A Sheldon, Frederick T. %A Kim, Hye Yeon %A Zhou, Zhihe %B PRDC %D 2001 %I IEEE Computer Society %K dblp %P 311-318 %T A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. %U http://dblp.uni-trier.de/db/conf/prdc/prdc2001.html#SheldonKZ01 %@ 0-7695-1414-6

@inproceedings{conf/prdc/SheldonKZ01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Sheldon, Frederick T. and Kim, Hye Yeon and Zhou, Zhihe}, biburl = {https://www.bibsonomy.org/bibtex/2b92ad2767730b613d4180dfde52821e6/dblp}, booktitle = {PRDC}, crossref = {conf/prdc/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/PRDC.2001.992714}, interhash = {d3e704b24d2be80f50493b495473fe18}, intrahash = {b92ad2767730b613d4180dfde52821e6}, isbn = {0-7695-1414-6}, keywords = {dblp}, pages = {311-318}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:23:44.000+0200}, title = {A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.}, url = {http://dblp.uni-trier.de/db/conf/prdc/prdc2001.html#SheldonKZ01}, year = 2001 }