×

Found 3 Documents (Results 1–3)

Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. (English) Zbl 1148.68001

Lecture Notes in Computer Science 5311. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). xiv, 430 p. (2008).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Foundations for the run-time monitoring of reactive systems – fundamentals of the MaC language. (English) Zbl 1108.68527

Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 543-556 (2005).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software