No.017 Quantitative methods in security and safety critical applications

Icon

NII Shonan Meeting Seminar 017

Slides

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

Title: Incorporating time to an integrated formal method

Slides1