Sign in
Leveraging Runtime Verification for the Monitoring of Digital Twins.
Sylvain Hallé
Chukri Soueidi
Yliès Falcone
Published in:
FMDT@FM (2023)
Keyphrases
</>
model checking
real time
monitoring system
artificial intelligence
digital libraries
activity monitoring
databases
data mining
computer vision
decision support
frequency domain
face verification
formal methods
intensive care