Investigating Time Properties of Interrupt-Driven Programs (Q5200480)
From MaRDI portal
scientific article; zbMATH DE number 6102403
Language | Label | Description | Also known as |
---|---|---|---|
English | Investigating Time Properties of Interrupt-Driven Programs |
scientific article; zbMATH DE number 6102403 |
Statements
Investigating Time Properties of Interrupt-Driven Programs (English)
0 references
6 November 2012
0 references
time
0 references
interrupt
0 references
operational semantics
0 references