DocumentCode
3175172
Title
[Front cover]
fYear
2010
fDate
9-11 June 2010
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SSIRI-C.2010.43
Filename
5521546
Link To Document