On Fault Detection Efficiency of Reliability Checkers Obtained by Verification Assertion Qualification

Hariharan, Ranganathan; Niazmand, Behrad; Raik, Jaan (2017). On Fault Detection Efficiency of Reliability Checkers Obtained by Verification Assertion Qualification. In: RESCUE 2017 Workshop on Reliability, Security and Quality ETS17 Fringe Workshop, May 25-26, 2017, Limassol, Cyprus (1−3). European Commission.
kogumikuartikkel/peatükk raamatus/kogumikus
Hariharan, Ranganathan; Niazmand, Behrad; Raik, Jaan
  • Inglise
RESCUE 2017 Workshop on Reliability, Security and Quality ETS17 Fringe Workshop, May 25-26, 2017, Limassol, Cyprus
European Commission
2017
13
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile

Seotud asutused

Lisainfo