International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems

Activity: Participation in or organisation af an eventParticipation in or organisation af a conference

See relations at Aarhus University

Peter Gorm Larsen - Organizer

Member of the program committee
26 Nov 201528 Sep 2016

Workshop

WorkshopInternational Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems
CountryItaly
CityTorino
Period18/09/201720/09/2017

ID: 94933349