Pages that link to "Item:Q1582909"
From MaRDI portal
The following pages link to General method of testing the compatibility of interacting automata with finite memory (Q1582909):
Displaying 6 items.
- Harmonization of automata specifications represented in the language L (Q334231) (← links)
- Harmonization of interacting automata (Q904417) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- Consistency test for simple specifications of automaton systems (Q1905143) (← links)
- Resolution approach to testing compatibility of interacting automata (Q1905221) (← links)
- Using the compatibility analysis of logical specifications of automata to solve game problems (Q2263301) (← links)