| % This is the bibliographic database in bibtex format for NASA LaRC FM |
| % Publications IT IS NOT UP TO DATE |
| @string{CR = "{NASA} Contractor Report"} |
| @string{CP = "{NASA} Conference Publication"} |
| @string{TM = "{NASA} Technical Memorandum"} |
| @string{TP = "{NASA} Technical Paper"} |
| @string{ieeetse = {IEEE Transactions on Software Engineering}} |
| @string{larc = {NASA Langley Research Center, Hampton, Virginia}} |
| |
| @TechReport{ detmode, |
| author = {Steven P. Miller and James N. Pott}, |
| title = {{Detecting Mode Confusion Through |
| Formal Modeling and Analysis}}, |
| month = jan, |
| year = 1999, |
| institution = larc, |
| number = {{CR-1999-208971}}, |
| keywords = {PVS, partitioning, avionics, IMA }, |
| url={http://wais-gw.larc.nasa.gov:81/techreports.larc.nasa.gov:210/ltrs_index/HTML/2279/1=techreports.larc.nasa.gov%3A210;2=/usr/local/web/waissrc/ltrs_index;3=0%202279%20/usr/local/web/htdocs/ltrs/refer/1999/cr/NASA-99-cr208971.refer.html;4=techreports.larc.nasa.gov%3A210;5=/usr/local/web/waissrc/ltrs_index;6=0%202279%20/usr/local/web/htdocs/ltrs/refer/1999/cr/NASA-99-cr208971.refer.html;7=%00; }, |
| type = CR |
| } |