Travelled to:
1 × United Kingdom
Collaborated with:
K.Sere
Talks about:
system (2) specif (1) integr (1) action (1) medic (1)
Person: V. Kasurinen
DBLP: Kasurinen:V=
Contributed to:
Wrote 1 papers:
- FME-1996-KasurinenS #specification
- Integrating Action Systems and Z in a Medical System Specification (VK, KS), pp. 105–119.