Sign in
Constraint LTL with Remote Access.
Ashwin Bhaskar
M. Praveen
Published in:
FSTTCS (2023)
Keyphrases
</>
remote access
earth science data
model checking
temporal logic
bounded model checking
real time
user authentication
remote laboratories
information systems
wireless sensor networks
low cost
linear temporal logic