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

APRICOT: a Framework for Teaching Digital Systems Verification

Raik, J.; Jenihhin, M.; Chepurov, A.; Reinsalu, U.; Ubar, R. (2008). APRICOT: a Framework for Teaching Digital Systems Verification. In: 19th EAEEIE Annual Conference (1−6).. IEEE.
kogumikuartikkel/peatükk raamatus/kogumikus
Raik, J.; Jenihhin, M.; Chepurov, A.; Reinsalu, U.; Ubar, R.
  • Inglise
19th EAEEIE Annual Conference
IEEE
2008
16
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile