Tools for support of automata-based programming
type: Item
instance of: scholarly article
title: Tools for support of automata-based programming
zbMATH Open document ID: 1154.68355
DOI: 10.1134/S0361768807060059
author: V. S. Gurov
author: M. A. Mazin
author: A. S. Narvsky
author: A. A. Shalyto
published in: Programming and Computer Software
publication date: 2008-06-09T00:00:00Z
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 5285485
zbMATH Keywords: SWITCH-technology
describes a project that uses: SWITCH
MaRDI profile type: Publication
cites work: Statecharts: a visual formalism for complex systems
cites work: Spotty scope
cites work: Q4210549
cites work: SWITCH technology: An automated approach to developing software for reactive systems
cites work: Q5684216
cites work: Q4371400
cites work: Use of statechart diagrams for modeling of hypertext
description: scientific article; zbMATH DE number 5285485