SAFECOMP
13 years 10 months ago
2004 Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
SAFECOMP
13 years 10 months ago
2004 Springer SAFECOMP
13 years 10 months ago
2004 Springer SAFECOMP
13 years 10 months ago
2004 Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
SAFECOMP
13 years 10 months ago
2004 Springer |