%0 Conference Paper %1 conf/medi/ChengM21 %A Cheng, Zheng %A Méry, Dominique %B MEDI %D 2021 %E Attiogbé, J. Christian %E Yahia, Sadok Ben %I Springer %K dblp %P 3-17 %T A Refinement Strategy for Hybrid System Design with Safety Constraints. %U http://dblp.uni-trier.de/db/conf/medi/medi2021.html#ChengM21 %V 12732 %@ 978-3-030-78428-7

@inproceedings{conf/medi/ChengM21, added-at = {2021-06-14T00:00:00.000+0200}, author = {Cheng, Zheng and Méry, Dominique}, biburl = {https://www.bibsonomy.org/bibtex/2d8d7fb70b6d221633e28e21e38e766d9/dblp}, booktitle = {MEDI}, crossref = {conf/medi/2021}, editor = {Attiogbé, J. Christian and Yahia, Sadok Ben}, ee = {https://doi.org/10.1007/978-3-030-78428-7_1}, interhash = {6a3eedadd2e9268dc4543da24e6f78e9}, intrahash = {d8d7fb70b6d221633e28e21e38e766d9}, isbn = {978-3-030-78428-7}, keywords = {dblp}, pages = {3-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:01:57.000+0200}, title = {A Refinement Strategy for Hybrid System Design with Safety Constraints.}, url = {http://dblp.uni-trier.de/db/conf/medi/medi2021.html#ChengM21}, volume = 12732, year = 2021 }