Sign in

Constraint LTL with Remote Access.

Ashwin BhaskarM. 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