By the same authors

A Safe Subset of Statecharts for Safety-Critical Applications

Research output: Working paper

Standard

A Safe Subset of Statecharts for Safety-Critical Applications. / Shi, F G; Armstrong, J M; McDermid, J A.

2001.

Research output: Working paper

Harvard

Shi, FG, Armstrong, JM & McDermid, JA 2001 'A Safe Subset of Statecharts for Safety-Critical Applications'.

APA

Shi, F. G., Armstrong, J. M., & McDermid, J. A. (2001). A Safe Subset of Statecharts for Safety-Critical Applications.

Vancouver

Shi FG, Armstrong JM, McDermid JA. A Safe Subset of Statecharts for Safety-Critical Applications. 2001 Aug 17.

Author

Shi, F G ; Armstrong, J M ; McDermid, J A. / A Safe Subset of Statecharts for Safety-Critical Applications. 2001.

Bibtex - Download

@techreport{02c69f73737b44a188a65846687c9110,
title = "A Safe Subset of Statecharts for Safety-Critical Applications",
author = "Shi, {F G} and Armstrong, {J M} and McDermid, {J A}",
year = "2001",
month = aug,
day = "17",
language = "English",
type = "WorkingPaper",

}

RIS (suitable for import to EndNote) - Download

TY - UNPB

T1 - A Safe Subset of Statecharts for Safety-Critical Applications

AU - Shi, F G

AU - Armstrong, J M

AU - McDermid, J A

PY - 2001/8/17

Y1 - 2001/8/17

M3 - Working paper

BT - A Safe Subset of Statecharts for Safety-Critical Applications

ER -