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