Equivalence preserving transformations for timed transition models (Q4850246)
From MaRDI portal
scientific article; zbMATH DE number 803573
Language | Label | Description | Also known as |
---|---|---|---|
English | Equivalence preserving transformations for timed transition models |
scientific article; zbMATH DE number 803573 |
Statements
Equivalence preserving transformations for timed transition models (English)
0 references
5 August 1996
0 references
software verification
0 references
time transition models
0 references
observation equivalence
0 references
real-time control systems
0 references
transformations
0 references