Sign in
UML-based Design and Verification Method for Developing Dependable Context-aware Systems.
Naoyasu Ubayashi
Yasutaka Kamei
Published in:
MODELSWARD (2013)
Keyphrases
</>
context aware systems
verification method
context aware
context awareness
temporal logic
modeling language
sequence diagrams
unified modeling language