Consent verification monitoring.

Marco Robol Travis D. Breaux Elda Paja Paolo Giorgini

Published in: CoRR (2022)

Keyphrases

monitoring system
real time
model checking
formal methods
early warning
data sets
artificial intelligence
decision support
person identification
asynchronous circuits
verification method
concurrent systems