Pages that link to "Item:Q4415996"
From MaRDI portal
The following pages link to Formal specification and analysis of production systems (Q4415996):
Displayed 6 items.
- Improving performance in flexible manufacturing systems (Q1014568) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi (Q2870190) (← links)
- Formal specification and analysis of production systems (Q4415996) (← links)