Pages that link to "Item:Q465979"
From MaRDI portal
The following pages link to Compositional approach to the development of reactive algorithms (Q465979):
Displaying 5 items.
- On transcendental functions arising from integrating differential equations in finite terms (Q748504) (← links)
- Harmonization of interacting automata (Q904417) (← links)
- Compositional minimisation of finite state systems using interface specifications (Q1816922) (← links)
- Design of reactive algorithms by solving equations over automata (Q2263188) (← links)
- A logic-free method for modular composition of specifications (Q4016529) (← links)