FMICS 2015: 20th International Workshop on Formal Methods for Industrial Critical Systems

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

Talk: Require, Test and Trace IT
Period23 Jun 2015
Event titleFMICS 2015: 20th International Workshop on Formal Methods for Industrial Critical Systems
Event typeWorkshop