Pages that link to "Item:Q2985894"

The following pages link to Amir Pnueli and the dawn of hybrid systems (Q2985894):

Displaying 4 items.

• Control: a perspective (Q463779) (← links)
• Languages and models for hybrid automata: a coalgebraic perspective (Q1786567) (← links)
• A model of systems with modes and mode transitions (Q2141292) (← links)
• The Unmet Challenge of Timed Systems (Q5170750) (← links)