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

PSL Assertion Checking with Temporally Extended High-Level Decision Diagrams

Raik, Jaan; Ubar, Raimund; Jenihhin, Maksim; Chepurov, Anton (2008). PSL Assertion Checking with Temporally Extended High-Level Decision Diagrams. 9th IEEE Latin American Test Workshop , February 17-20, 2008, Puebla, Mexico. IEEE, 49−54.
publitseeritud konverentsiettekanne
Raik, Jaan; Ubar, Raimund; Jenihhin, Maksim; Chepurov, Anton
  • Inglise
9th IEEE Latin American Test Workshop , February 17-20, 2008, Puebla, Mexico
IEEE
2008
4954
Ilmunud
3.2. Artiklid/peatükid lisas mitte loetletud kirjastuste välja antud kogumikes
Teadmata

Viited terviktekstile