%0 Journal Article %1 journals/sj/AlvesDMS13 %A Alves, Miriam C. Bergue %A Drusinsky, Doron %A Michael, James Bret %A tak Shing, Man %D 2013 %J IEEE Syst. J. %K dblp %N 4 %P 632-641 %T End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. %U http://dblp.uni-trier.de/db/journals/sj/sj7.html#AlvesDMS13 %V 7

@article{journals/sj/AlvesDMS13, added-at = {2020-09-11T00:00:00.000+0200}, author = {Alves, Miriam C. Bergue and Drusinsky, Doron and Michael, James Bret and tak Shing, Man}, biburl = {https://www.bibsonomy.org/bibtex/2e3ca698e872df0e4399adc3d907f114a/dblp}, ee = {https://doi.org/10.1109/JSYST.2012.2220591}, interhash = {e871983e001c2b3b671d65f4fdcaf0fd}, intrahash = {e3ca698e872df0e4399adc3d907f114a}, journal = {IEEE Syst. J.}, keywords = {dblp}, number = 4, pages = {632-641}, timestamp = {2020-09-12T11:39:46.000+0200}, title = {End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software.}, url = {http://dblp.uni-trier.de/db/journals/sj/sj7.html#AlvesDMS13}, volume = 7, year = 2013 }