Collaborated with:
N.Przigoda R.Wille J.Peleska R.Drechsler
Talks about:
behavior (1) concurr (1) model (1) check (1) uml (1) ocl (1)
Person: Christoph Hilken
DBLP: Hilken:Christoph
Contributed to:
Wrote 1 papers:
- MoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml
- Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.