Pages that link to "Item:Q927470"
From MaRDI portal
The following pages link to Tools for support of automata-based programming (Q927470):
Displaying 5 items.
- UniMod (Q16632) (← links)
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- SWITCH technology: An automated approach to developing software for reactive systems (Q1403199) (← links)
- Developing a software system for automata-based code generation (Q2216713) (← links)
- (Q5514107) (← links)