×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Li, Xuandong (ed.) et al., Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25941-3/pbk; 978-3-319-25942-0/ebook). Lecture Notes in Computer Science 9409, 135-149 (2015).
MSC:  68N99 68W15
BibTeX Cite
Full Text: DOI
WorldCat.org
Derrick, John (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2007. 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73195-5/pbk). Lecture Notes in Computer Science 4574, 247-262 (2007).
MSC:  68M14 68Q45
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software