Cited in
(10)- Translating iterative algorithms into automaton ones
- Application of the trace assertion method to the specification, design, and verification of automaton programs
- SWITCH technology: An automated approach to developing software for reactive systems
- Machine Learning: ECML 2004
- Automation of parallel programming in modeling of multiphase media: optimal parallelization
- UniMod
- PARAdeg-processor scheduling for acyclic SWITCH-less program nets
- A method of computing minimum firing time for self-cleaning SWITCH-less program nets
- Tools for support of automata-based programming
- scientific article; zbMATH DE number 2134685 (Why is no real title available?)
This page was built for software: SWITCH
