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