Sign in
Formal analysis and offline monitoring of electronic exams.
Ali Kassem
Yliès Falcone
Pascal Lafourcade
Published in:
Formal Methods Syst. Des. (2017)
Keyphrases
</>
formal analysis
real time
ban logic
monitoring system
agent model
cd rom
formal methods
machine learning
information systems