Pages that link to "Item:Q1778317"
From MaRDI portal
The following pages link to Logic control and ``reactive'' systems: algorithmization and programming (Q1778317):
Displaying 5 items.
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Implementation of finite automata algorithms as structured programs. I (Q1058299) (← links)
- Data processing in the firmware systems for logic control based on search networks (Q2362342) (← links)
- (Q4210549) (← links)