The following pages link to Analysis of an industrial system (Q1870212):
Displaying 5 items.
- Improving performance in flexible manufacturing systems (Q1014568) (← links)
- Functional and administrative aspects of an industrial management system and their formal analysis (Q1084018) (← links)
- Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
- Model-based engineering of embedded systems using the hybrid process algebra Chi (Q2870190) (← links)
- Analysis of a product recovery system (Q4415995) (← links)