Author books / Книги автора Edmund M. Clarke Flavio Lerda (auth.) Chairman S. Ramesh Prahladavaradan Sampath (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Edmund M. Clarke Flavio Lerda (auth.) Chairman S. Ramesh Prahladavaradan Sampath (eds.)

book Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

pdf

Author: Edmund M. Clarke Flavio Lerda (auth.) Chairman S. Ramesh Prahladavaradan Sampath (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0