327 search results - page 66 / 66 » Symbolic Fault Injection |
BIRTHDAY
2007
Springer
13 years 9 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
KDD
2004
ACM
14 years 6 months ago
2004
ACM
Moments before the launch of every space vehicle, engineering discipline specialists must make a critical go/no-go decision. The cost of a false positive, allowing a launch in spi...