Abstract :
The following topics are dealt with: fault tolerance; software reliability modeling; software availability modeling; software testing; formal methods; and system assurance.
Keywords :
formal specification; program testing; software fault tolerance; software reliability; fault tolerance; formal methods; software availability modeling; software reliability modeling; software testing; system assurance;
Conference_Titel :
High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on
Conference_Location :
San Jose, CA
Print_ISBN :
978-1-4244-9091-2
DOI :
10.1109/HASE.2010.1
