Pages that link to "Item:Q1905143"
From MaRDI portal
The following pages link to Consistency test for simple specifications of automaton systems (Q1905143):
Displaying 9 items.
- Harmonization of automata specifications represented in the language L (Q334231) (← links)
- Verifying specifications in the language L against temporal properties nonexpressible in this language (Q844345) (← links)
- On an approach to functional specification of automata systems. II (Q1333690) (← links)
- General method of testing the compatibility of interacting automata with finite memory (Q1582909) (← links)
- Checking simple properties of transition systems defined by Thue specifications (Q1610675) (← links)
- Synthesis of a nondeterministic automaton from its logical specification. II (Q1816006) (← links)
- Resolution approach to testing compatibility of interacting automata (Q1905221) (← links)
- Determinization of logical specifications of automata (Q1907766) (← links)
- Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I (Q2508787) (← links)