SWITCH technology: An automated approach to developing software for reactive systems

DOI10.1023/A:1012392927006zbMath1038.68036OpenAlexW1569952392MaRDI QIDQ1403199

A. A. Shalyto, N. I. Tukkel'

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

zbMATH Keywords

automaton

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (3)

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

• SWITCH

This page was built for publication: SWITCH technology: An automated approach to developing software for reactive systems