Travelled to:
1 × The Netherlands
Collaborated with:
A.Knapp B.Wolff
Talks about:
contract (1) automat (1) effici (1) simul (1) oper (1)
Person: Matthias P. Krieger
DBLP: Krieger:Matthias_P=
Contributed to:
Wrote 1 papers:
- GPCE-2010-KriegerKW #automation #contract #performance #simulation
- Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.