Travelled to:
1 × Italy
Collaborated with:
J.H.Weber M.Price
Talks about:
transform (1) prescript (1) monitor (1) formal (1) graph (1) adher (1) use (1)
Person: Simon Diemert
DBLP: Diemert:Simon
Contributed to:
Wrote 1 papers:
- ICGT-2015-WeberDP #formal method #graph transformation #monitoring #using
- Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.