SWITCH technology: An automated approach to developing software for reactive systems
From MaRDI portal
Publication:1403199
DOI10.1023/A:1012392927006zbMath1038.68036OpenAlexW1569952392MaRDI QIDQ1403199
Publication date: 1 September 2003
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1012392927006
Related Items
Application of the trace assertion method to the specification, design, and verification of automaton programs, Graphical inheritance notation for state-based classes, Tools for support of automata-based programming
Uses Software
