6. MOMPES 2009: Vancouver, BC, Canada

Invited Talk

Distributed Embedded Systems

Formal Approaches

Tools

maintained by Schloss Dagstuhl LZI at University of Trier