Title :
Table of contents
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;
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-0-7695-5007-7
DOI :
10.1109/ICECCS.2013.4
