Travelled to:
1 × The Netherlands
Collaborated with:
A.P.Kapitonova R.L.Smeliansky
Talks about:
environ (1) analysi (1) system (1) design (1) embed (1) dyana (1)
Person: Anatoly G. Bakhmurov
DBLP: Bakhmurov:Anatoly_G=
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.