DocumentCode
634271
Title
Table of contents
fYear
2013
fDate
17-19 July 2013
Abstract
The following topics are dealt with: complex computer systems; system modeling; formal verification; system evaluation; formal logic; real-time systems; software security; software reliability; nonfunctional property analysis; and software engineering.
Keywords
formal logic; formal verification; real-time systems; security of data; software reliability; complex computer systems; formal logic; formal verification; nonfunctional property analysis; real-time systems; software engineering; software reliability; software security; system evaluation; system modeling;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on
Conference_Location
Singapore
Print_ISBN
978-0-7695-5007-7
Type
conf
DOI
10.1109/ICECCS.2013.4
Filename
6601792
Link To Document