Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Subtitle: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Contributors: S. Ramesh (Editor); P. Sampath (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 24, 2007
Language: eng
Format: Hardcover
Number of pages: 300
ISBN-13: 9781402062537
Subjects: Circuits & components; General Theory of Computing; Technology & Engineering; Technology & Industrial Arts; Science/Mathematics; Computer Science; Electronics - Circuits - General; Programming - Software Development; Computers : Computer Science; Computers : Programming - Software Development; Distributed Systems; Embedded Systems; Formal Methods; Model-based Development; Software Verification; Technology / Electronics / Circuits / General