Safety-critical Java programs from \textsf{Circus} models (Q2443940)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Safety-critical Java programs from \textsf{Circus} models |
scientific article |
Statements
Safety-critical Java programs from \textsf{Circus} models (English)
0 references
8 April 2014
0 references
SCJ
0 references
\textsf{Circus}
0 references
RTSJ
0 references
real-time systems
0 references
refinement
0 references
verification
0 references
