DocumentCode
3305124
Title
[Copyright notice]
fYear
2012
fDate
18-20 July 2012
Abstract
The following topics are dealt with: software requirement; software modeling; software design; formal method; programming language; programming algorithm; concurrency control; software monitoring; software verification; and multiagent system.
Keywords
concurrency control; multi-agent systems; program verification; programming languages; concurrency control; formal method; multiagent system; programming algorithm; programming language; software design; software modeling; software monitoring; software requirement; software verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on
Conference_Location
Paris
Print_ISBN
978-1-4673-2156-3
Type
conf
Filename
6299191
Link To Document