%0 Conference Paper %1 conf/overlay/000123 %A Dang, Thao %B OVERLAY@AI*IA %D 2023 %E Brunello, Andrea %E Gianola, Alessandro %E Mogavero, Fabio %I CEUR-WS.org %K dblp %P 1-5 %T Formal Design of Cyber-Physical Systems with Learning-Enabled Components. %U http://dblp.uni-trier.de/db/conf/overlay/overlay2023.html#000123 %V 3629

@inproceedings{conf/overlay/000123, added-at = {2024-02-07T00:00:00.000+0100}, author = {Dang, Thao}, biburl = {https://www.bibsonomy.org/bibtex/2504184e612cfc450c3c32a6b35f11f9e/dblp}, booktitle = {OVERLAY@AI*IA}, crossref = {conf/overlay/2023}, editor = {Brunello, Andrea and Gianola, Alessandro and Mogavero, Fabio}, ee = {https://ceur-ws.org/Vol-3629/paper1.pdf}, interhash = {619c54c11e092c208329167a7755fda3}, intrahash = {504184e612cfc450c3c32a6b35f11f9e}, keywords = {dblp}, pages = {1-5}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T21:22:30.000+0200}, title = {Formal Design of Cyber-Physical Systems with Learning-Enabled Components.}, url = {http://dblp.uni-trier.de/db/conf/overlay/overlay2023.html#000123}, volume = 3629, year = 2023 }