The Community for Technology Leaders
RSS Icon
Subscribe
Paris, France France
July 18, 2012 to July 20, 2012
ISBN: 978-1-4673-2156-3
pp: C4
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.
INDEX TERMS
programming languages, concurrency control, multi-agent systems, program verification, multiagent system, software requirement, software modeling, software design, formal method, programming language, programming algorithm, concurrency control, software monitoring, software verification
CITATION
"[Cover art]", ICECCS, 2012, Engineering of Complex Computer Systems, IEEE International Conference on, Engineering of Complex Computer Systems, IEEE International Conference on 2012, pp. C4, doi:10.1109/ICECCS.2012.49
SEARCH
47 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool