×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–3)

Meseguer, JosĂ© (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 1 (2008).
MSC:  68Q45 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org
Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 47-49 (2007).
MSC:  93A30 93C83 93B40 68N30
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software