Diagnostic modelling of digital systems with binary and high-level decision diagrams
vastutusandmed
Raimund Ubar, Jaan Raik, Helena Kruus, Harri Lensen, and Teet Evartson
allikas
Progress in industrial mathematics at ECMI 2006
ilmumiskoht
Heidelberg
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 902-907 : ill
seeria-sari
Mathematics in industry ; 12
ISBN
978-3-540-71991-5
märkused
Bibliogr.: 3 ref
keel
inglise
Ubar, R.-J., Raik, J., Kruus, H., Lensen, H., Evartson, T. Diagnostic modelling of digital systems with binary and high-level decision diagrams // Progress in industrial mathematics at ECMI 2006. Heidelberg : Springer, 2008. p. 902-907 : ill. (Mathematics in industry ; 12). https://link.springer.com/chapter/10.1007/978-3-540-71992-2_158