作者: Edwige Quillerou

Most approaches that contribute to the design of life-critical systems almost only consider nominal situations where procedures can be developed and used to achieve satisfactory operations. These kin …

Most approaches that contribute to the design of life-critical systems almost only consider nominal situations where procedures can be developed and used to achieve satisfactory operations. These kin …