Pages that link to "Item:Q1842385"
From MaRDI portal
The following pages link to On an approach to functional specification of automata systems. III (Q1842385):
Displaying 6 items.
- Compositional approach to the development of reactive algorithms (Q465979) (← links)
- Extension of the automaton specification logical language and the synthesis problem (Q1385765) (← links)
- Consistency test for simple specifications of automaton systems (Q1905143) (← links)
- On the class of L\(^*\)-language formulas that specify finite-memory finite-state machines (Q1956960) (← links)
- Representation of a class of nondeterministic semiautomata by canonical words. (Q2490807) (← links)
- (Q3729990) (← links)