×

zbMATH — the first resource for mathematics

Found 9 Documents (Results 1–9)

100
MathJax
München: Oldenbourg Verlag (ISBN 978-3-486-58521-6/hbk). xxvi, 552 p. (2009).
MSC:  68N01 68N30 68-01
PDF BibTeX XML Cite
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). 19-33 (2007).
MSC:  93A30 93C83 93A13
PDF BibTeX XML Cite
Full Text: DOI