303 search results - page 44 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
RE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract The generation of traceability links or traceability matrices is vital to many software engineering activities. It is also person-power intensive, time-consuming, error-pr...
MOBICOM
2005
ACM
14 years 1 months ago
2005
ACM
Vehicles equipped with wireless communication devices are poised to deliver vital services in the form of safety alerts, traffic congestion probing and on-road commercial applicat...
DAC
2007
ACM
13 years 11 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
ICRA
1999
IEEE
13 years 12 months ago
1999
IEEE
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...