Sciweavers

268 search results - page 1 / 54
» Concurrent Systems Analysis Using ECATNets
Sort
View
IGPL
2000
82views more  IGPL 2000»
14 years 9 months ago
Concurrent Systems Analysis Using ECATNets
Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauch...
ICSE
2007
IEEE-ACM
15 years 9 months ago
Reliability Analysis of Concurrent Systems Using LTSA
Genaína Nunes Rodrigues, David S. Rosenblum...
RTSS
2003
IEEE
15 years 2 months ago
Evolving real-time systems using hierarchical scheduling and concurrency analysis
John Regehr, Alastair Reid, Kirk Webb, Michael Par...
102
Voted
PTS
2008
165views Hardware» more  PTS 2008»
14 years 11 months 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