The following pages link to SWITCH (Q15022):
Displaying 9 items.
- Application of the trace assertion method to the specification, design, and verification of automaton programs (Q840086) (← links)
- Tools for support of automata-based programming (Q927470) (← links)
- Automation of parallel programming in modeling of multiphase media: optimal parallelization (Q1015351) (← links)
- SWITCH technology: An automated approach to developing software for reactive systems (Q1403199) (← links)
- Translating iterative algorithms into automaton ones (Q1403253) (← links)
- (Q3159773) (← links)
- Machine Learning: ECML 2004 (Q5450777) (← links)
- PARAdeg-processor scheduling for acyclic SWITCH-less program nets (Q5926845) (← links)
- A method of computing minimum firing time for self-cleaning SWITCH-less program nets (Q5942204) (← links)