NameBenchmark

Benchmark models

    print · login   

Bibliography

PA22
Andrea Pferscher, Bernhard K. Aichernig. Fingerprinting and analysis of Bluetooth devices with automata learning. Formal Methods Syst. Des. 61(1): 35-62 (2022)