See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

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