Login / Signup
An Integrated Framework for the Formal Analysis of Critical Interactive Systems.
Ismaïl Mendil
Neeraj Kumar Singh
Yamine Aït Ameur
Dominique Méry
Philippe A. Palanque
Published in:
APSEC (2020)
Keyphrases
</>
formal analysis
interactive systems
human computer interaction
formal methods
user interface
digital entertainment
database systems
natural language
relational databases
knowledge based systems
intelligent tutoring systems
agent model
ban logic