SWITCH
From MaRDI portal
Software:15022
swMATH2483MaRDI QIDQ15022FDOQ15022
Author name not available (Why is that?)
Cited In (9)
- 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
- 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
- Title not available (Why is that?)
This page was built for software: SWITCH
