Title :
12th IEEE International Conference on Engineering Complex Computer Systems-Title
Abstract :
The following topics are dealt with: complex computer systems engineering real-time systems; modeling and verification; safety and security; context awareness and ubiquitous computing; formal languages; and software architecture.
Keywords :
formal verification; real-time systems; systems analysis; ubiquitous computing; complex computer systems engineering; context awareness; formal languages; security; software architecture; ubiquitous computing;
Conference_Titel :
Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on
Conference_Location :
Auckland
Print_ISBN :
0-7695-2895-3
DOI :
10.1109/ICECCS.2007.3
