Refinement-Based Verification of Interactive Real-Time Systems (Q5403466)
From MaRDI portal
scientific article; zbMATH DE number 6274297
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Refinement-Based Verification of Interactive Real-Time Systems |
scientific article; zbMATH DE number 6274297 |
Statements
Refinement-Based Verification of Interactive Real-Time Systems (English)
0 references
26 March 2014
0 references
formal specification
0 references
verification
0 references
refinement
0 references
real-time systems
0 references
automotive gateway
0 references
