%0 Conference Paper %1 conf/tase/LidstromG23 %A Lidström, Christian %A Gurov, Dilian %B TASE %D 2023 %E David, Cristina %E Sun, Meng %I Springer %K dblp %P 77-94 %T Contract Based Embedded Software Design. %U http://dblp.uni-trier.de/db/conf/tase/tase2023.html#LidstromG23 %V 13931 %@ 978-3-031-35257-7

@inproceedings{conf/tase/LidstromG23, added-at = {2023-06-30T00:00:00.000+0200}, author = {Lidström, Christian and Gurov, Dilian}, biburl = {https://www.bibsonomy.org/bibtex/253b01238cd2709e6e24b60ca594d40cb/dblp}, booktitle = {TASE}, crossref = {conf/tase/2023}, editor = {David, Cristina and Sun, Meng}, ee = {https://doi.org/10.1007/978-3-031-35257-7_5}, interhash = {27a787670e22a134b1761e7a77940966}, intrahash = {53b01238cd2709e6e24b60ca594d40cb}, isbn = {978-3-031-35257-7}, keywords = {dblp}, pages = {77-94}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:48:24.000+0200}, title = {Contract Based Embedded Software Design.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2023.html#LidstromG23}, volume = 13931, year = 2023 }