International Workshop on Symbolic and Numerical Methods for Reachability Analysis

  • Stavros Tripakis (Member)

Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

Description

Technical program committee member
Period2015
Event typeWorkshop
Degree of RecognitionInternational