28. FORTE 2008: Tokyo, Japan

Invited Talk

Abstraction

Verification

Specification Framework I

Application

Specification Framework II

Theory

Reliability of Networked Systems