Verifying a scheduling protocol of safety-critical systems (Q2424721)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying a scheduling protocol of safety-critical systems |
scientific article |
Statements
Verifying a scheduling protocol of safety-critical systems (English)
0 references
25 June 2019
0 references
safety-critical systems
0 references
scheduling protocol
0 references
schedulability
0 references
theorem proving
0 references
model checking
0 references
0 references
0 references
0 references
