[IEEE 2008 13th IEEE European Test Symposium (ETS) - Verbania, italy (2008.05.25-2008.05.29)] 2008 13th European Test Symposium - Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation
Jenihhin, Maksim, Raik, Jaan, Chepurov, Anton, Ubar, RaimundYear:
2008
Language:
english
DOI:
10.1109/ets.2008.22
File:
PDF, 756 KB
english, 2008