Pages that link to "Item:Q2870190"
From MaRDI portal
The following pages link to Model-based engineering of embedded systems using the hybrid process algebra Chi (Q2870190):
Displaying 4 items.
- Modeling and verification of reconfigurable printing system based on process algebra (Q1721623) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Relating hybrid chi to other formalisms (Q2864397) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)