Sciweavers

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