Reversibility of Executable Interval Temporal Logic Specifications (Q5162611)
From MaRDI portal
scientific article; zbMATH DE number 7419492
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reversibility of Executable Interval Temporal Logic Specifications |
scientific article; zbMATH DE number 7419492 |
Statements
Reversibility of Executable Interval Temporal Logic Specifications (English)
0 references
3 November 2021
0 references
interval temporal logic
0 references
temporal reflection
0 references
program reversion
0 references
reversible computing
0 references
