Pages that link to "Item:Q314987"
From MaRDI portal
The following pages link to Algebraic interpretation of a microprogram finite-state machine with datapath of transitions (Q314987):
Displaying 6 items.
- Determining the area of efficient application of a microprogrammed finite-state machine with datapath of transitions (Q1795502) (← links)
- Translation of interactive Datalog programs for microcontrollers to finite state machines (Q2119115) (← links)
- Structural classification of methods for synthesis of a microprogram finite-state machine with datapath of transitions (Q2320248) (← links)
- Algebraic representations for finite-state machines. II: Module formulation (Q2564949) (← links)
- Formal Methods for Components and Objects (Q5311298) (← links)
- A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions (Q6042246) (← links)
