Search - Testing Software and Systems Access content directly

Filter your results

1 Array
Keywords : Non-deterministic finite state machines
Image document

Learning Abstracted Non-deterministic Finite State Machines

Andrea Pferscher , Bernhard K. Aichernig
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.52-69, ⟨10.1007/978-3-030-64881-7_4⟩
Conference papers hal-03239824v1