Property transformation under specification change (Q352027): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B70 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6183855 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
formal methods | |||
| Property / zbMATH Keywords: formal methods / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Z | |||
| Property / zbMATH Keywords: Z / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
refinement | |||
| Property / zbMATH Keywords: refinement / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
temporal logic | |||
| Property / zbMATH Keywords: temporal logic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
system property | |||
| Property / zbMATH Keywords: system property / rank | |||
Normal rank | |||
Revision as of 08:36, 28 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Property transformation under specification change |
scientific article |
Statements
Property transformation under specification change (English)
0 references
4 July 2013
0 references
formal methods
0 references
Z
0 references
refinement
0 references
temporal logic
0 references
system property
0 references
