Title :
Table of contents
Abstract :
The following topics are dealt with: security protocol verification; security protocol validation; fault tolerance; security attacks; adaptive systems; multiagent systems; self-managing systems; software engineering; software refactoring; real-time systems; embedded systems; and hybrid systems.
Keywords :
adaptive systems; cryptographic protocols; fault tolerant computing; formal verification; multi-agent systems; real-time systems; software engineering; adaptive systems; embedded systems; fault tolerance; hybrid systems; multiagent systems; real-time systems; security attacks; security protocol validation; security protocol verification; self-managing systems; software engineering; software refactoring;
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2014 19th International Conference on
Conference_Location :
Tianjin
Print_ISBN :
978-1-4799-5481-0
DOI :
10.1109/ICECCS.2014.4
