Formal methods of analysis of system properties (Q2487874)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal methods of analysis of system properties |
scientific article |
Statements
Formal methods of analysis of system properties (English)
0 references
12 August 2005
0 references
transition system
0 references
formal method
0 references
specification
0 references
verification
0 references
feature interaction
0 references
Petri net
0 references