146
Voted
SAFECOMP
15 years 10 months ago
2004 Springer  145
click to vote
SAFECOMP
15 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. ...
151
Voted
SAFECOMP
15 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...
127
click to vote
SAFECOMP
15 years 10 months ago
2004 Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
119
Voted
SAFECOMP
15 years 10 months ago
2004 Springer |
Security Privacy