MOTOR

swMATH2988MaRDI QIDQ15524

No author found.

Described by source

• Formal Methods for the Design of Real-Time Systems

Related Items (4)

Model-checking timed automata with deadlines with Uppaal ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ Formal Modeling and Analysis of Timed Systems ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata

This page was built for software: MOTOR