Testing and incremental conformance testing of timed state machines.

Aleksandr S. Tvardovskii Khaled El-Fakih Nina Yevtushenko

Published in: Sci. Comput. Program. (2024)

Keyphrases

state machines
petri net
test cases
neural network
test set
real time
artificial intelligence
state machine