Login / Signup

From TiMo to Event-B: Event-Driven Timed Mobility.

Gabriel CiobanuThai Son HoangAlin Stefanescu
Published in: ICECCS (2014)
Keyphrases
  • event driven
  • publish subscribe
  • event streams
  • mobile agents
  • petri net
  • information delivery
  • real time
  • markup language
  • mobile users
  • fuzzy cognitive maps
  • timed automata
  • mobile phone