A Safe Subset of Statecharts for Safety-Critical Applications

F G Shi, J M Armstrong, J A McDermid

Research output: Working paper

Original languageEnglish
Publication statusPublished - 17 Aug 2001

Cite this