A module-level testing environment for safety-critical software
A module-level testing environment for safety-critical software
Date
1991
Authors
Silva, A.
Marcocci, L.
Didone, M.