%0 Journal Article %1 journals/sttt/ZaraketJNF19 %A Zaraket, Fadi A. %A Jaber, Mohamad %A Noureddine, Mohamad %A Falcone, Yliès %D 2019 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 143-163 %T From high-level modeling toward efficient and trustworthy circuits. %U http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#ZaraketJNF19 %V 21

@article{journals/sttt/ZaraketJNF19, added-at = {2023-06-26T00:00:00.000+0200}, author = {Zaraket, Fadi A. and Jaber, Mohamad and Noureddine, Mohamad and Falcone, Yliès}, biburl = {https://www.bibsonomy.org/bibtex/234a852010a65d14997b8212dc136f405/dblp}, ee = {https://doi.org/10.1007/s10009-017-0462-5}, interhash = {1281378310eeb6a271cd4c8d8ecc299a}, intrahash = {34a852010a65d14997b8212dc136f405}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 2, pages = {143-163}, timestamp = {2024-04-08T20:36:16.000+0200}, title = {From high-level modeling toward efficient and trustworthy circuits.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#ZaraketJNF19}, volume = 21, year = 2019 }