A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata

From MaRDI portal
Publication:3648831