A practical approach for testing timed deterministic finite state machines with single clock
Under an Elsevier user license
open archive
Keywords
Conformance testing
Finite state machine testing
Timed finite state machines
Cited by (0)
- 1
Partially supported by AUS 2012 FRG-III.
Copyright © 2013 Elsevier B.V. All rights reserved.