Travelled to:
1 × The Netherlands
Collaborated with:
A.G.Bakhmurov R.L.Smeliansky
Talks about:
environ (1) analysi (1) system (1) design (1) embed (1) dyana (1)
Person: A. P. Kapitonova
DBLP: Kapitonova:A=_P=
Contributed to:
Wrote 1 papers:
- TACAS-1999-BakhmurovKS #analysis #design #embedded #named
- DYANA: An Environment for Embedded System Design and Analysis (AGB, APK, RLS), pp. 390–404.