DocumentCode
119368
Title
Table of contents
fYear
2014
fDate
4-7 Aug. 2014
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems (ICECCS), 2014 19th International Conference on
Conference_Location
Tianjin
Print_ISBN
978-1-4799-5481-0
Type
conf
DOI
10.1109/ICECCS.2014.4
Filename
6923106
Link To Document