Checking sequence generation for symbolic input/output FSMs by constraint solving (Q1623146)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking sequence generation for symbolic input/output FSMs by constraint solving |
scientific article |
Statements
Checking sequence generation for symbolic input/output FSMs by constraint solving (English)
0 references
23 November 2018
0 references
extended FSM
0 references
symbolic input/output FSM
0 references
checking sequence
0 references
fault modeling
0 references
fault detection
0 references
constraint solving
0 references
