%0 Conference Paper %1 conf/fm/CavadaCCRT16 %A Cavada, Roberto %A Cimatti, Alessandro %A Crema, Luigi %A Roccabruna, Mattia %A Tonetta, Stefano %B FM %D 2016 %E Fitzgerald, John S. %E Heitmeyer, Constance L. %E Gnesi, Stefania %E Philippou, Anna %K dblp %P 741-747 %T Model-Based Design of an Energy-System Embedded Controller Using Taste. %U http://dblp.uni-trier.de/db/conf/fm/fm2016.html#CavadaCCRT16 %V 9995 %@ 978-3-319-48988-9

@inproceedings{conf/fm/CavadaCCRT16, added-at = {2022-10-02T00:00:00.000+0200}, author = {Cavada, Roberto and Cimatti, Alessandro and Crema, Luigi and Roccabruna, Mattia and Tonetta, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/22a1303fd6d8835b3437d5353418491c4/dblp}, booktitle = {FM}, crossref = {conf/fm/2016}, editor = {Fitzgerald, John S. and Heitmeyer, Constance L. and Gnesi, Stefania and Philippou, Anna}, ee = {https://www.wikidata.org/entity/Q62041099}, interhash = {c941cbe099d242fbdb546398fa653050}, intrahash = {2a1303fd6d8835b3437d5353418491c4}, isbn = {978-3-319-48988-9}, keywords = {dblp}, pages = {741-747}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:12:50.000+0200}, title = {Model-Based Design of an Energy-System Embedded Controller Using Taste.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2016.html#CavadaCCRT16}, volume = 9995, year = 2016 }