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

Assertion Checking with PSL and High-Level Decision Diagrams

Jenihhin, M.; Raik, J.; Chepurov, A.; Ubar, R. (2007). Assertion Checking with PSL and High-Level Decision Diagrams. In: Proceedings of the IEEE 8th Workshop on RTL and High Level Testing (WRTLT'07) (-).. Beijing, China: IEEE Computer Society Press.
kogumikuartikkel/peatükk raamatus/kogumikus
Jenihhin, M.; Raik, J.; Chepurov, A.; Ubar, R.
  • Inglise
Proceedings of the IEEE 8th Workshop on RTL and High Level Testing (WRTLT'07)
Beijing, China
IEEE Computer Society Press
2007
-
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Web of Science Book Citation Index, Web of Science Conference Proceedings Citation Index, Scopus refereeritud kogumikud)
Teadmata

Viited terviktekstile