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

PSL Assertion-Checking Using Temporally Extended High-Level Decision Diagrams

Jenihhin, M.; Raik, J.; Chepurov, A.; Ubar, R. (2009). PSL Assertion-Checking Using Temporally Extended High-Level Decision Diagrams. Journal of Electronic Testing-Theory and Applications, 25 (6), 1−12.
ajakirjaartikkel
Jenihhin, M.; Raik, J.; Chepurov, A.; Ubar, R.
  • Inglise
Journal of Electronic Testing-Theory and Applications
0923-8174
25
6
2009
112
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index, Emerging Sources Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
Teadmata
WOS

Viited terviktekstile