MOTOR

swMATH2988MaRDI QIDQ15524FDOQ15524

Author name not available (Why is that?)

Described by source

• Formal Methods for the Design of Real-Time Systems

Cited In (4)

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

This page was built for software: MOTOR