Sciweavers

PTS   2008
Wall of Fame | Most Viewed PTS-2008 Paper
PTS
2008
165views Hardware» more  PTS 2008»
14 years 26 days ago
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
Farn Wang, Geng-Dian Huang
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source165
2Download preprint from source152
3Download preprint from source123
4Download preprint from source109
5Download preprint from source100
6Download preprint from source98
7Download preprint from source87
8Download preprint from source80