%0 Conference Paper %1 conf/apsec/ChenLDZ19 %A Chen, Zhangtao %A Liu, Jing %A Ding, Xi %A Zhang, Miaomiao %B APSEC %D 2019 %I IEEE %K dblp %P 339-346 %T RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2019.html#ChenLDZ19 %@ 978-1-7281-4648-5

@inproceedings{conf/apsec/ChenLDZ19, added-at = {2020-02-25T00:00:00.000+0100}, author = {Chen, Zhangtao and Liu, Jing and Ding, Xi and Zhang, Miaomiao}, biburl = {https://www.bibsonomy.org/bibtex/2991178cae10f673165c215a827700a87/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2019}, ee = {https://doi.org/10.1109/APSEC48747.2019.00053}, interhash = {f70b14ab9908de9fc0089985bb83edbc}, intrahash = {991178cae10f673165c215a827700a87}, isbn = {978-1-7281-4648-5}, keywords = {dblp}, pages = {339-346}, publisher = {IEEE}, timestamp = {2020-02-26T11:58:52.000+0100}, title = {RBML: A Refined Behavior Modeling Language for Safety-Critical Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2019.html#ChenLDZ19}, year = 2019 }