Interaction semantics with refusals, divergence, and destruction (Q1758683)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Interaction semantics with refusals, divergence, and destruction |
scientific article; zbMATH DE number 6107878
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interaction semantics with refusals, divergence, and destruction |
scientific article; zbMATH DE number 6107878 |
Statements
Interaction semantics with refusals, divergence, and destruction (English)
0 references
16 November 2012
0 references
software system
0 references
conformance testing
0 references
safe testing
0 references
total testing
0 references
specification
0 references
nonconformal specification
0 references
semantics
0 references
interaction semantics
0 references
actions
0 references
refusals
0 references
observable
0 references
destruction
0 references
implementation safety
0 references
divergence
0 references
