6. MOMPES 2009: Vancouver, BC, Canada

Invited Talk

Distributed Embedded Systems

Formal Approaches

Tools