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.