Application of high-level Decision Diagrams for simulation-based Verification Tasks

Bibliographische Detailangaben

Veröffentlicht in:	Estonian Journal of Engineering 2010-03, Vol.16 (1), p.56-77
Hauptverfasser:	Jenihhin, M, Raik, J, Chepurov, A, Ubar, R
Format:	Artikel
Sprache:	eng
Schlagworte:	Estonia Simulation Tasks
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!