Dynamic State Machines for Formalizing Railway Control System Specifications (Q3460219)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic State Machines for Formalizing Railway Control System Specifications |
scientific article |
Statements
Dynamic State Machines for Formalizing Railway Control System Specifications (English)
0 references
6 January 2016
0 references
state machine
0 references
dynamic instantiation
0 references
railway control system
0 references
metamodel
0 references
model driven
0 references
system testing
0 references
CRYSTAL
0 references
