DocumentCode
2893403
Title
[Title page i]
fYear
2009
fDate
23-27 Nov. 2009
Abstract
The following topics are dealt with: software engineering; formal methods; real-time systems; distributed systems; testing/validation; model checking; behaviours and scenario specification; program analysis; and components/database.
Keywords
database management systems; distributed processing; program diagnostics; real-time systems; software engineering; database; distributed systems; formal method; model checking; program analysis; real-time systems; scenario specification; software engineering; testing; validation;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on
Conference_Location
Hanoi
Print_ISBN
978-0-7695-3870-9
Type
conf
DOI
10.1109/SEFM.2009.1
Filename
5368070
Link To Document