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

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Require, Test and Trace IT
Zeitraum23 Juni 2015
EreignistitelFMICS 2015: 20th International Workshop on Formal Methods for Industrial Critical Systems
VeranstaltungstypWorkshop