%0 Conference Paper %1 conf/icppw/HuYZZWLZ05 %A Hu, Jun %A Yu, Xiaofeng %A Zhang, Yan %A Zhang, Tian %A Wang, Linzhang %A Li, Xuandong %A Zheng, Guoliang %B ICPP Workshops %D 2005 %I IEEE Computer Society %K %P 240-247 %T Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. %U http://dblp.uni-trier.de/db/conf/icppw/icppw2005.html#HuYZZWLZ05 %@ 0-7695-2381-1

@inproceedings{conf/icppw/HuYZZWLZ05, added-at = {2023-12-13T05:52:37.000+0100}, author = {Hu, Jun and Yu, Xiaofeng and Zhang, Yan and Zhang, Tian and Wang, Linzhang and Li, Xuandong and Zheng, Guoliang}, biburl = {https://www.bibsonomy.org/bibtex/2ba586b73255321b202ce9506c0fcd021/admin}, booktitle = {ICPP Workshops}, crossref = {conf/icppw/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICPPW.2005.78}, interhash = {a794b80a1f871253604433487179a724}, intrahash = {ba586b73255321b202ce9506c0fcd021}, isbn = {0-7695-2381-1}, keywords = {}, pages = {240-247}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T05:52:37.000+0100}, title = {Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.}, url = {http://dblp.uni-trier.de/db/conf/icppw/icppw2005.html#HuYZZWLZ05}, year = 2005 }