An Integrated Framework for Scenarios and State Machines (Q5429313)
From MaRDI portal
scientific article; zbMATH DE number 5216204
Language | Label | Description | Also known as |
---|---|---|---|
English | An Integrated Framework for Scenarios and State Machines |
scientific article; zbMATH DE number 5216204 |
Statements
An Integrated Framework for Scenarios and State Machines (English)
0 references
29 November 2007
0 references
scenarios
0 references
state-machines
0 references
heterogeneous specifications
0 references
refinement orderings
0 references