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

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

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