Abstract :
The following topics are dealt with: secure software integration; reliability improvement companion; model checking; model based verification; model based validation; reliable system; embedded system; timed automata; security protocols.
Keywords :
automata theory; embedded systems; formal verification; integrated software; security of data; software reliability; embedded system; model based validation; model based verification; model checking; reliability improvement companion; reliable system; secure software integration; security protocols; timed automata;
Conference_Titel :
Secure Software Integration and Reliability Improvement Companion (SSIRI-C), 2010 Fourth International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4244-7644-2
DOI :
10.1109/SSIRI-C.2010.43
