iCIS
Automata Wiki
ABP
ASMLRERS-YangEtAl2019
Bankcard-AartsEtAl2013
BLE-PferscherEtAl2022
BLE-Schnor2025
BRP
Circuits
CoffeeMachine-SteffenEtAl2011
DTLS-Fiterau-BrosteanEtAl2020
Edentifier2-ChaluparEtAl2014
ESMcontroller-SmeenkEtAl2015
FIFOset
FromRhapsodyToDezyne-SchutsEtAl2018
FWGC
IEC60870-5-104
Login-AartsEtAl2012
Map
MooreRS
MQTT-TapplerEtAl2017
MultiLogin
OPC-UA
Passport-AartsEtAl2010
Queue
QUIC-FerreiraEtAl2021
QUIC-Rasool2018
RandomDFAs
RandomMoore
RepdigitPalindrome
SIP
SMTP
SSH
Stack
TCP
TLS-Janssen2021
TLS
ToyDFA
ToyDFIA
ToyModels
ToyMoore
XrayPowerControlService-SchutsEtAl2016
select tag
All
Datastructure
Industry
Protocol
Random
Register
Security
↑
To Benchmarks
Bibliography
NameBenchmark
Description
Benchmark models
Mealy
print
·
login
Home
»
BenchmarkBLE-PferscherEtAl2022
»
Mealy
CC2640R2-no-feature-req.dot
CC2640R2-no-length-req.dot
CC2640R2-no-pairing-req.dot
CC2650.dot
cc2652r1.dot
CYBLE-416045-02.dot
CYW43455.dot
nRF52832.dot
pairing-procedure-cc2640r2.dot
pairing-procedure-cc2650.dot
pairing-procedure-cyw43455.dot
