DMCA

Hazard Analysis in Formal Specification (1999)

by Kaisa Sere , Elena Troubitsyna
Venue:IN PROC. OF SAFECOMP'99, TOLOUSE
Citations:6 - 5 self