Abstract :
The following topics are dealt with: formal methods; safety analysis; embedded systems; model based design; and software development.
Keywords :
embedded systems; formal logic; safety; software engineering; embedded systems; formal methods; model based design; safety analysis; software development;
Conference_Titel :
Engineering of Computer Based Systems, 2009. ECBS 2009. 16th Annual IEEE International Conference and Workshop on the
Conference_Location :
San Francisco, CA
Print_ISBN :
978-0-7695-3602-6
DOI :
10.1109/ECBS.2009.1
