%0 Conference Paper %1 conf/re/AlenaziN0S18 %A Alenazi, Mounifah %A Niu, Nan %A Wang, Wentao %A Savolainen, Juha %B MoDRE@RE %D 2018 %E Moreira, Ana %E Mussbacher, Gunter %E Araújo, João %E Sánchez, Pablo %I IEEE Computer Society %K dblp %P 46-55 %T Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems. %U http://dblp.uni-trier.de/db/conf/re/modre2018.html#AlenaziN0S18 %@ 978-1-5386-8406-1

@inproceedings{conf/re/AlenaziN0S18, added-at = {2023-03-24T00:00:00.000+0100}, author = {Alenazi, Mounifah and Niu, Nan and Wang, Wentao and Savolainen, Juha}, biburl = {https://www.bibsonomy.org/bibtex/28dd56a9f003d8ca49fdbd4e7286614b5/dblp}, booktitle = {MoDRE@RE}, crossref = {conf/re/2018modre}, editor = {Moreira, Ana and Mussbacher, Gunter and Araújo, João and Sánchez, Pablo}, ee = {https://doi.ieeecomputersociety.org/10.1109/MoDRE.2018.00012}, interhash = {4ad305593ae2efc1ec21db1baf4a9234}, intrahash = {8dd56a9f003d8ca49fdbd4e7286614b5}, isbn = {978-1-5386-8406-1}, keywords = {dblp}, pages = {46-55}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:22:22.000+0200}, title = {Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/re/modre2018.html#AlenaziN0S18}, year = 2018 }