The following topics are dealt with: systems engineering; model checking; Web services; automated verification; formal specification; and passive testing.
Publisher :
ieee
Conference_Titel :
High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on
