SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts (Q3591066)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts |
scientific article |
Statements
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts (English)
0 references
10 September 2007
0 references
