On Formal Semantics of Statecharts as Supported by STATEMATE.

Open Access

Publisher Website

1 July 1997

proceedings article
Published by BCS Learning and Development Limited in Electronic Workshops in Computing

https://doi.org/10.14236/ewic/fa1997.12

Abstract

No abstract available

This publication has 0 references indexed in Scilit: