Travelled to:
1 × Germany
Collaborated with:
L.Schröder E.Schulz
Talks about:
operation (1) standard (1) industri (1) formal (1)
Person: Dominik Dietrich
DBLP: Dietrich:Dominik
Contributed to:
Wrote 1 papers:
- FASE-2011-DietrichSS #formal method #industrial #standard
- Formalizing and Operationalizing Industrial Standards (DD, LS, ES), pp. 81–95.