![](/img/cover-not-exists.png)
[IEEE 2005 International Conference on Parallel Processing Workshops (ICPPW'05) - Oslo, Norway (14-17 June 2005)] 2005 International Conference on Parallel Processing Workshops (ICPPW'05) - Scenario-Based Specifications Verification for Component-Based Embedded Software Designs
Jun Hu,, Xiaofeng Yu,, Yan Zhang,, Tian Zhang,, Linzhang Wang,, Xuandong Li,, Guoliang Zheng,Year:
2005
Language:
english
DOI:
10.1109/icppw.2005.78
File:
PDF, 177 KB
english, 2005