%0 Conference Paper %1 conf/icfem/DupontASIKP20 %A Dupont, Guillaume %A Ameur, Yamine Aït %A Singh, Neeraj Kumar %A Ishikawa, Fuyuki %A Kobayashi, Tsutomu %A Pantel, Marc %B ICFEM %D 2020 %E Lin, Shang-Wei %E Hou, Zhe %E Mahony, Brendan P. %I Springer %K dblp %P 251-267 %T Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2020.html#DupontASIKP20 %V 12531 %@ 978-3-030-63406-3

@inproceedings{conf/icfem/DupontASIKP20, added-at = {2022-11-10T00:00:00.000+0100}, author = {Dupont, Guillaume and Ameur, Yamine Aït and Singh, Neeraj Kumar and Ishikawa, Fuyuki and Kobayashi, Tsutomu and Pantel, Marc}, biburl = {https://www.bibsonomy.org/bibtex/28c14aea3ddc8ad612d705d09f397c11f/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2020}, editor = {Lin, Shang-Wei and Hou, Zhe and Mahony, Brendan P.}, ee = {https://doi.org/10.1007/978-3-030-63406-3_15}, interhash = {78b8ab8e322861f15aa6ed8fd9bc30e2}, intrahash = {8c14aea3ddc8ad612d705d09f397c11f}, isbn = {978-3-030-63406-3}, keywords = {dblp}, pages = {251-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:41.000+0200}, title = {Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2020.html#DupontASIKP20}, volume = 12531, year = 2020 }