12. ICECCS 2007: Auckland, New Zealand

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