Travelled to:1 × India
Collaborated with:M.Neovius K.Sere L.Yan
Talks about:context (2) formal (1) depend (1) model (1) awar (1)
Person: M. Satpathy
DBLP: Satpathy:M=
Contributed to:
Wrote 1 papers:
- SEFM-2006-NeoviusSYS #formal method
- A Formal Model of Context-Awareness and Context-Dependency (MN, KS, LY, MS), pp. 177–185.












