Md Tawhid Bin Waez

Learn More
Survey Real-time systems Formal models Semantics Timed regular languages Decision problems Variants Implementability Tools A B S T R A C T Timed automata are a popular formalism to model real-time systems. They were introduced two decades ago to support formal verification. Since then they have also been used for other purposes and a large number of(More)
  • 1