Pages that link to "Item:Q394966"

The following pages link to A survey of timed automata for the development of real-time systems (Q394966):

Displaying 2 items.

• Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
• Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828) (← links)