Travelled to:
1 × Italy
Collaborated with:
C.Cheng T.Guelfirat C.Messinger J.O.Schmitt P.Weber
Talks about:
semant (2) degre (2) technolog (1) industri (1) appropri (1) select (1) formal (1) engin (1) decid (1)
Person: Matthias Schnelte
DBLP: Schnelte:Matthias
Contributed to:
Wrote 1 papers:
- ESEC-FSE-2015-ChengGMSSW #formal method #semantics
- Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies (CHC, TG, CM, JOS, MS, PW), pp. 1010–1013.