Sign in

UML-based Design and Verification Method for Developing Dependable Context-aware Systems.

Naoyasu UbayashiYasutaka Kamei
Published in: MODELSWARD (2013)
Keyphrases
  • context aware systems
  • verification method
  • context aware
  • context awareness
  • temporal logic
  • modeling language
  • sequence diagrams
  • unified modeling language