Sciweavers

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