66 search results - page 1 / 14 » TAXYS: A Tool for the Development and Verification of Real-T... |
CAV
2001
Springer
13 years 8 months ago
2001
Springer
RTCSA
1998
IEEE
13 years 9 months ago
1998
IEEE
RTCSA
1999
IEEE
13 years 9 months ago
1999
IEEE
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
CSREAESA
2006
13 years 6 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...