Interaction semantics with refusals, divergence, and destruction (Q1758683)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Interaction semantics with refusals, divergence, and destruction |
scientific article |
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