Checking sequence generation for symbolic input/output FSMs by constraint solving (Q1623146)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Checking sequence generation for symbolic input/output FSMs by constraint solving |
scientific article; zbMATH DE number 6983516
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking sequence generation for symbolic input/output FSMs by constraint solving |
scientific article; zbMATH DE number 6983516 |
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
