Verifying safety critical task scheduling systems in PPTL axiom system (Q5963639)
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: Verifying safety critical task scheduling systems in PPTL axiom system |
scientific article; zbMATH DE number 6544327
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Verifying safety critical task scheduling systems in PPTL axiom system |
scientific article; zbMATH DE number 6544327 |
Statements
Verifying safety critical task scheduling systems in PPTL axiom system (English)
0 references
23 February 2016
0 references
theorem proving
0 references
scheduler
0 references
real-time
0 references
safety critical system
0 references
0.841252326965332
0 references
0.8266699910163879
0 references
0.7556461691856384
0 references
0.7446212768554688
0 references
0.7374945282936096
0 references
