ACM-IEEE International Conference on Formal Methods and Models for System Design

Tripakis, S. (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
Period2017
Event typeConference
Conference number15
LocationVienna, Austria
Degree of RecognitionInternational