28. FORTE 2008: Tokyo, Japan

Invited Talk

Abstraction

Verification

Specification Framework I

Application

Specification Framework II

Theory

Reliability of Networked Systems

maintained by Schloss Dagstuhl LZI at University of Trier