Distinguishing tests for nondeterministic finite state machines

Publisher Website

1 January 1998

book chapter
Published by Springer Nature

p. 101-107
https://doi.org/10.1007/978-0-387-35381-4_7

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Testing deterministic implementations from nondeterministic FSM specifications
Published by Springer Nature ,1996