Pages that link to "Item:Q2985863"

The following pages link to From synchronous programs to symbolic representations of hybrid systems (Q2985863):

Displaying 2 items.

• A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
• Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)