%0 Conference Paper %1 conf/csicc/Hatefi-Ardakani08 %A Hatefi-Ardakani, Hassan %A Gharehbaghi, Amir Masoud %A Hessabi, Shaahin %B CSICC %D 2008 %E Sarbazi-Azad, Hamid %E Parhami, Behrooz %E Miremadi, Seyed Ghassem %E Hessabi, Shaahin %K dblp %P 243-250 %T System-Level Assertion-Based Performance Verification for Embedded Systems. %U http://dblp.uni-trier.de/db/conf/csicc/csicc2008.html#Hatefi-Ardakani08 %V 6 %@ 978-3-540-89984-6

@inproceedings{conf/csicc/Hatefi-Ardakani08, added-at = {2022-06-23T00:00:00.000+0200}, author = {Hatefi-Ardakani, Hassan and Gharehbaghi, Amir Masoud and Hessabi, Shaahin}, biburl = {https://www.bibsonomy.org/bibtex/2344f6fedd758bb7d4342a05db17a6dcf/dblp}, booktitle = {CSICC}, crossref = {conf/csicc/2008}, editor = {Sarbazi-Azad, Hamid and Parhami, Behrooz and Miremadi, Seyed Ghassem and Hessabi, Shaahin}, ee = {https://doi.org/10.1007/978-3-540-89985-3_30}, interhash = {106dbb06bb6f504397c7f84dd8e282cc}, intrahash = {344f6fedd758bb7d4342a05db17a6dcf}, isbn = {978-3-540-89984-6}, keywords = {dblp}, pages = {243-250}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-09T23:40:11.000+0200}, title = {System-Level Assertion-Based Performance Verification for Embedded Systems.}, url = {http://dblp.uni-trier.de/db/conf/csicc/csicc2008.html#Hatefi-Ardakani08}, volume = 6, year = 2008 }