%0 Conference Paper %1 conf/issre/SchulzeGLOC13 %A Schulze, Christoph %A Ganesan, Dharmalingam %A Lindvall, Mikael %A Omas, Dave Mcf %A Cudmore, Alan %B ISSRE %D 2013 %I IEEE Computer Society %K dblp %P 300-309 %T Model-based testing of NASA's OSAL API - An experience report. %U http://dblp.uni-trier.de/db/conf/issre/issre2013.html#SchulzeGLOC13 %@ 978-1-4799-2366-3

@inproceedings{conf/issre/SchulzeGLOC13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Schulze, Christoph and Ganesan, Dharmalingam and Lindvall, Mikael and Omas, Dave Mcf and Cudmore, Alan}, biburl = {https://www.bibsonomy.org/bibtex/24dadf8482fffde245fb474ea53a1b97c/dblp}, booktitle = {ISSRE}, crossref = {conf/issre/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISSRE.2013.6698883}, interhash = {7532baa2f41db52c3911f277d053e079}, intrahash = {4dadf8482fffde245fb474ea53a1b97c}, isbn = {978-1-4799-2366-3}, keywords = {dblp}, pages = {300-309}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:52:25.000+0200}, title = {Model-based testing of NASA's OSAL API - An experience report.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2013.html#SchulzeGLOC13}, year = 2013 }