Travelled to:1 × Germany
1 × Italy
Collaborated with:H.Hermanns M.Siegle M.Rettelbach
Talks about:analysi (2) markovian (1) construct (1) stochast (1) composit (1) process (1) perform (1) algebra (1) specif (1) ptool (1)
Person: Vassilis Mertsiotakis
DBLP: Mertsiotakis:Vassilis
Contributed to:
1999
1996Wrote 2 papers:
- CAV-1999-HermannsMS #analysis #composition #markov #modelling #named #performance #specification
- TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (HH, VM, MS), pp. 487–490.
- TACAS-1996-HermannsMR #algebra #analysis #probability #process
- A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP (HH, VM, MR), pp. 427–430.