Title :
Table of contents
Abstract :
The following topics are dealt with: computer based systems; embedded systems; testing and verification; modeling and simulation; education and training; and industrial reports.
Keywords :
computer aided instruction; embedded systems; formal verification; modelling; program testing; simulation; computer based systems; education; embedded systems; industrial reports; modeling; simulation; testing; training; verification;
Conference_Titel :
Engineering of Computer Based Systems (ECBS-EERC), 2011 2nd Eastern European Regional Conference on the
Conference_Location :
Bratislava
Print_ISBN :
978-1-4577-0683-7
DOI :
10.1109/ECBS-EERC.2011.4
