No.017 Quantitative methods in security and safety critical applications

1) Speaker: Prof. Steve Schneider, Department of Computing, University of Surrey

Title: Incorporating time to an integrated formal method

Slides1