State Identification and Verification with Satisfaction

Joshua Moerman^*
, Thorsten Wißmann

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

1 Software

1 results

2022

satuio: Software tool for generating adaptive distinguishing sequences and unique input/output sequences for finite state machines
Moerman, J. & Wißmann, T., 23 Sept 2022
Research output: Non-textual form and Research tools › Software › Academic

Open Access