Login / Signup

POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime.

Felix Klaedtke
Published in: CoRR (2024)
Keyphrases
  • temporal properties
  • model checking
  • real time
  • knowledge base
  • web services
  • pattern recognition