×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Bernardo, Marco (ed.) et al., Formal methods for hardware verification. 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006, Bertinoro, Italy, May 22–27, 2006. Advanced lectures. Berlin: Springer (ISBN 3-540-34304-0/pbk). Lecture Notes in Computer Science 3965, 176-210 (2006).
MSC:  68T15 68M07 68M15
BibTeX Cite
Full Text: DOI
Geist, Daniel (ed.) et al., Correct hardware design and verification methods. 12th IFIP WG 10. 5 advanced research working conference, CHARME 2003, L’Aquila, Italy, October 21–24, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20363-X/pbk). Lect. Notes Comput. Sci. 2860, 304-318 (2003).
MSC:  68Q60 68T15
BibTeX Cite
Full Text: DOI

Filter Results by …

Year of Publication
Classification
Software