DocumentCode
3076611
Title
[Copyright notice]
fYear
2011
fDate
27-29 June 2011
Abstract
The following topics are dealt with: software security; software reliability; formal specification; formal verification; machine learning; embedded software; and software testing.
Keywords
formal specification; formal verification; learning (artificial intelligence); program testing; security of data; software reliability; embedded software; formal specification; formal verification; machine learning; software reliability; software security; software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Secure Software Integration & Reliability Improvement Companion (SSIRI-C), 2011 5th International Conference on
Conference_Location
Jeju Island
Print_ISBN
978-1-4577-0781-0
Type
conf
DOI
10.1109/SSIRI-C.2011.3
Filename
6004483
Link To Document