dblp.uni-trier.de www.uni-trier.de

12. ICECCS 2007: Auckland, New Zealand

12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand. IEEE Computer Society 2007, ISBN 978-0-7695-2895-3 BibTeX

Keynote Speaker

Real-time Systems

Modeling and Verification

Keynote Speaker

Safety and Security

Context Awareness and Ubiquitous Computing

Keynote Speaker

Formal Languages

Software Architecture

Addressing Complexity with Autonomic Systems

Grand Challenges - Complex Program Verifier

Advances in the FMICS-jETI Platform for Program Verification

Selected Papers from the UML&AADL 2007 Workshop

Copyright © Sat May 16 23:19:22 2009 by Michael Ley (ley@uni-trier.de)