Title :
Table of contents
Abstract :
The following topics are dealt with: Embedded, sensornet and grid systems; Software modeling and testing; Computer architectures; Data systems; System design and development; Software testing and verification; Engineering of computer based systems; etc.
Keywords :
computer architecture; grid computing; program testing; program verification; computer architectures; computer based systems; grid systems; sensornet; software modeling; software testing;
Conference_Titel :
Engineering of Computer Based Systems (ECBS), 2010 17th IEEE International Conference and Workshops on
Conference_Location :
Oxford
Print_ISBN :
978-1-4244-6537-8
DOI :
10.1109/ECBS.2010.4