Handling State-Machines Specifications with GATeL☆
Under a Creative Commons license
open access
Keywords
Reactive systems
State-Machines
Test Generation
Constraint Logic Programming
Cited by (0)
- ☆
This work is supported by project ANR-07-TLOG-019 and IRSN nuclear safety agency.
Copyright © 2010 Elsevier B.V.