Formal verification of safety protocol in train control system (Q2321189)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal verification of safety protocol in train control system |
scientific article; zbMATH DE number 7099118
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal verification of safety protocol in train control system |
scientific article; zbMATH DE number 7099118 |
Statements
Formal verification of safety protocol in train control system (English)
0 references
28 August 2019
0 references
train control system
0 references
safety communication protocol
0 references
interface automata
0 references
verification
0 references
0 references
0.9031941
0 references
0.88866156
0 references
0.8749424
0 references
