%0 Conference Paper %1 conf/euc/HuYZZLZ05 %A Hu, Jun %A Yu, Xiaofeng %A Zhang, Yan %A Zhang, Tian %A Li, Xuandong %A Zheng, Guoliang %B EUC %D 2005 %E Yang, Laurence Tianruo %E Amamiya, Makoto %E Liu, Zhen %E Guo, Minyi %E Rammig, Franz J. %I Springer %K %P 395-404 %T Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. %U http://dblp.uni-trier.de/db/conf/euc/euc2005.html#HuYZZLZ05 %V 3824 %@ 3-540-30807-5

@inproceedings{conf/euc/HuYZZLZ05, added-at = {2023-12-12T18:35:53.000+0100}, author = {Hu, Jun and Yu, Xiaofeng and Zhang, Yan and Zhang, Tian and Li, Xuandong and Zheng, Guoliang}, biburl = {https://www.bibsonomy.org/bibtex/23645dd9608301daee525a5e817ea457e/admin}, booktitle = {EUC}, crossref = {conf/euc/2005}, editor = {Yang, Laurence Tianruo and Amamiya, Makoto and Liu, Zhen and Guo, Minyi and Rammig, Franz J.}, ee = {https://doi.org/10.1007/11596356_41}, interhash = {14981bfcb3f3abc078edd0ccb6401972}, intrahash = {3645dd9608301daee525a5e817ea457e}, isbn = {3-540-30807-5}, keywords = {}, pages = {395-404}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:35:53.000+0100}, title = {Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.}, url = {http://dblp.uni-trier.de/db/conf/euc/euc2005.html#HuYZZLZ05}, volume = 3824, year = 2005 }