%0 Conference Paper %1 conf/sac/ByunC15 %A Byun, Taejoon %A Choi, Yunja %B SAC %D 2015 %E Wainwright, Roger L. %E Corchado, Juan Manuel %E Bechini, Alessio %E Hong, Jiman %I ACM %K dblp %P 1815-1822 %T Automated system-level safety testing using constraint patterns for automotive operating systems. %U http://dblp.uni-trier.de/db/conf/sac/sac2015.html#ByunC15 %@ 978-1-4503-3196-8

@inproceedings{conf/sac/ByunC15, added-at = {2018-11-06T00:00:00.000+0100}, author = {Byun, Taejoon and Choi, Yunja}, biburl = {https://www.bibsonomy.org/bibtex/2d0ab911962be1d04047fcfc0e23c977c/dblp}, booktitle = {SAC}, crossref = {conf/sac/2015}, editor = {Wainwright, Roger L. and Corchado, Juan Manuel and Bechini, Alessio and Hong, Jiman}, ee = {https://doi.org/10.1145/2695664.2695935}, interhash = {3d14ac1b8ac857e54d9fd895abc44894}, intrahash = {d0ab911962be1d04047fcfc0e23c977c}, isbn = {978-1-4503-3196-8}, keywords = {dblp}, pages = {1815-1822}, publisher = {ACM}, timestamp = {2018-11-07T16:23:37.000+0100}, title = {Automated system-level safety testing using constraint patterns for automotive operating systems.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2015.html#ByunC15}, year = 2015 }