Event Details

Verifiability Talk 21: “CIRCUS: an Integrated Modelling and Development Environment Dedicated to Interactive Systems with Explicit Support to Verification and Validation”

Speaker: Phillipe Palanque (IRIT)
Title: “CIRCUS: an Integrated Modelling and Development Environment Dedicated to Interactive Systems with Explicit Support to Verification and Validation”
Date: 04/11/2021 – Meeting Link
Time: 16:00-17:00 (British Summer Time, GMT+1)