Application of model checking in memory arbiter synthesis
autor
Ernits, Juhan-Peep
vastutusandmed
Juhan Ernits
allikas
Ninth Estonian Winter School in Computer Science (EWSCS'04) : Lahemaa, Estonia, February 29-March 5, 2004
ilmumiskoht
[S. l.]
ilmumisaasta
2004
leheküljed
[1 p.]. (Student talks and posters 2004 (abstracts))
märksõna
arvutid
mäluseadmed
keel
inglise