Login / Signup
HomeTL: A visual formalism, based on temporal logic, for the design of home based care.
Alberto Rugnone
Enrico Vicario
Chris D. Nugent
Mark P. Donnelly
David Craig
Cristiano Paggetti
Elena Tamburini
Published in:
CASE (2007)
Keyphrases
</>
temporal logic
model checking
design process
temporal knowledge
modal logic
predicate logic
home care
software engineering
health care
visual information
belief revision
satisfiability problem
temporal reasoning
concurrent systems
transition systems