×

Found 2 Documents (Results 1–2)

Formal probabilistic analysis of stuck-at faults in reconfigurable memory arrays. (English) Zbl 1211.68032

Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 277-291 (2009).
MSC:  68M15 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software