Login / Signup

Deciding safety and liveness in TPTL.

David A. BasinCarlos Cotrini JiménezFelix KlaedtkeEugen Zalinescu
Published in: Inf. Process. Lett. (2014)
Keyphrases
  • machine learning
  • data mining
  • database systems
  • management system
  • safety analysis