BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
real (2)
environ (2)
time (2)
verif (2)
appli (1)

Stem statem$ (all stems)

5 papers:

CAVCAV-2000-BienmullerDW #verification
The STATEMATE Verification Environment — Making It Real (TB, WD, HW), pp. 561–567.
CAVCAV-1998-BrockmeyerW #design #realtime #verification
Real-Time Verification of Statemate Designs (UB, GW), pp. 537–541.
FMFME-1997-PetersohnU #implementation #semantics
A Timed Semantics for the STATEMATE Implementation of Statecharts (CP, LU), pp. 553–572.
ISSTAISSTA-1993-Thevenod-FosseW #statistics #testing
STATEMATE Applied to Statistical Software Testing (PTF, HW), pp. 99–109.
ICSEICSE-1988-HarelLNPPSS #development
STATEMATE; A Working Environment for the Development of Complex Reactive Systems (DH, HL, AN, AP, MP, RS, AST), pp. 396–406.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.