Property Coverage for Quality Assessment of Fault Tolerant or Fail Safe Systems.

Fernando M. Gonalves, Marcelino B. Santos, Isabel C. Teixeira, Joo Paulo Teixeira

Browse the full IOLTS paper archive.