WELCOME NEWS ORGANIZERS LOCATION PRESENTATIONS TUT_LECTURES
Tutorial lectures
Fourth International Verification Methods Tutorial


  • Tutorial Lectures:


    • Verifiction basics.
    • Continuous verification
    • Spatial verification.
    • Categorial verification.
    • Warnings verification.
    • Verification scores
    • Statistical inference
Click here for a png of the poster (210kb).