%0 Conference Paper %1 conf/icse/LofflerMG10 %A Löffler, Renate %A Meyer, Matthias %A Gottschalk, Matthias %B SEHC@ICSE %D 2010 %E Clarke, Lori A. %E Weber-Jahnke, Jens H. %I ACM %K %P 57-67 %T Formal scenario-based requirements specification and test case generation in healthcare applications. %U http://dblp.uni-trier.de/db/conf/icse/sehc2010.html#LofflerMG10 %@ 978-1-60558-973-2

@inproceedings{conf/icse/LofflerMG10, added-at = {2023-12-12T23:31:58.000+0100}, author = {Löffler, Renate and Meyer, Matthias and Gottschalk, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2017b16b83cccc37913b21742c5806759/admin}, booktitle = {SEHC@ICSE}, crossref = {conf/icse/2010sehc}, editor = {Clarke, Lori A. and Weber-Jahnke, Jens H.}, ee = {https://doi.org/10.1145/1809085.1809093}, interhash = {56f51e0247baff9d0b0f04c042a652da}, intrahash = {017b16b83cccc37913b21742c5806759}, isbn = {978-1-60558-973-2}, keywords = {}, pages = {57-67}, publisher = {ACM}, timestamp = {2023-12-12T23:31:58.000+0100}, title = {Formal scenario-based requirements specification and test case generation in healthcare applications.}, url = {http://dblp.uni-trier.de/db/conf/icse/sehc2010.html#LofflerMG10}, year = 2010 }