Travelled to:
1 × France
Collaborated with:
R.Kurki-Suonio M.Sakkinen K.Systä
Talks about:
reactiv (1) system (1) specif (1) orient (1) object (1)
Person: H.-M. Järvinen
DBLP: J=auml=rvinen:H==M=
Contributed to:
Wrote 1 papers:
- ICSE-1990-JarvinenKSS #object-oriented #specification
- Object-Oriented Specification of Reactive Systems (HMJ, RKS, MS, KS), pp. 63–71.