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

Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation

Jenihhin, M.; Raik, J.; Chepurov, A.; Ubar, R. (2008). Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation. Proceedings of the 13th IEEE European Test Symposium. Los Alamitos, USA: IEEE Computer Society Press, 61−68.
publitseeritud konverentsiettekanne
Jenihhin, M.; Raik, J.; Chepurov, A.; Ubar, R.
  • Inglise
Proceedings of the 13th IEEE European Test Symposium
Los Alamitos, USA
IEEE Computer Society Press
2008
6168
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