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

Simulation-based Verification with APRICOT Framework using High-Level Decision Diagrams

Jenihhin, M.; Raik, J.; Chepurov, A.; Ubar, R. (2009). Simulation-based Verification with APRICOT Framework using High-Level Decision Diagrams. East-West Design & Test Symposium: East-West Design & Test Symposium, Moscow, Sept.18-21, 2009. 13−16.
publitseeritud konverentsiettekanne
Jenihhin, M.; Raik, J.; Chepurov, A.; Ubar, R.
  • Inglise
East-West Design & Test Symposium
East-West Design & Test Symposium, Moscow, Sept.18-21, 2009
2009
1316
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