Travelled to:
1 × India
Collaborated with:
M.Neovius K.Sere M.Satpathy
Talks about:
context (2) formal (1) depend (1) model (1) awar (1)
Person: Lu Yan
DBLP: Yan:Lu
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.