12th ICECCS 2007: Auckland, New Zealand

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics