iCIS
Automata Wiki
ABP
ASMLRERS-YangEtAl2019
Bankcard-AartsEtAl2013
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
QUICprotocol
RandomDFAs
RandomMoore
RepdigitPalindrome
SIP
SMTP
SSH
Stack
TCP
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
»
BenchmarkOPC-UA
»
Mealy
Mealy models
asyncua.0.9.0mode_1.dot
asyncua.0.9.0mode_3.dot
asyncua.v0.9.10mode_1.dot
asyncua.v0.9.10mode_3.dot
asyncua.v0.9.11mode_1.dot
asyncua.v0.9.11mode_3.dot
asyncua.v0.9.12mode_1.dot
asyncua.v0.9.12mode_3.dot
asyncua.v0.9.8mode_1.dot
asyncua.v0.9.8mode_3.dot
asyncua.v0.9.90mode_1.dot
asyncua.v0.9.90mode_3.dot
asyncua.v0.9.91mode_1.dot
asyncua.v0.9.91mode_3.dot
asyncua.v0.9.92mode_1.dot
asyncua.v0.9.92mode_3.dot
asyncua.v0.9.93mode_1.dot
asyncua.v0.9.93mode_3.dot
asyncua.v0.9.94mode_1.dot
asyncua.v0.9.94mode_3.dot
asyncua.v0.9.95mode_1.dot
asyncua.v0.9.95mode_3.dot
asyncua.v0.9.97mode_1.dot
asyncua.v0.9.97mode_3.dot
asyncua.v0.9.98mode_1.dot
asyncua.v0.9.98mode_3.dot
asyncua.v0.9.9mode_1.dot
asyncua.v0.9.9mode_3.dot
asyncua.v1.0.0mode_1.dot
asyncua.v1.0.0mode_3.dot
asyncua.v1.0.1mode_1.dot
asyncua.v1.0.1mode_3.dot
open62541.v1.1.1.dot
open62541.v1.1.1mode_1.dot
open62541.v1.1.2.dot
open62541.v1.1.2mode_1.dot
open62541.v1.1.3.dot
open62541.v1.1.3mode_1.dot
open62541.v1.1.4.dot
open62541.v1.1.4mode_1.dot
open62541.v1.1.5.dot
open62541.v1.1.5mode_1.dot
open62541.v1.1.6.dot
open62541.v1.1.6mode_1.dot
open62541.v1.1.dot
open62541.v1.1mode_1.dot
open62541.v1.2.1.dot
open62541.v1.2.1mode_1.dot
open62541.v1.2.2.dot
open62541.v1.2.2mode_1.dot
open62541.v1.2.3.dot
open62541.v1.2.3mode_1.dot
open62541.v1.2.4.dot
open62541.v1.2.4mode_1.dot
open62541.v1.2.5.dot
open62541.v1.2.5mode_1.dot
open62541.v1.2.dot
open62541.v1.2mode_1.dot
open62541.v1.3.1.dot
open62541.v1.3.1mode_1.dot
open62541.v1.3.3.dot
open62541.v1.3.3mode_1.dot
open62541.v1.3.dot
open62541.v1.3mode_1.dot
rust.0.10.0mode_1.dot
rust.0.10.0mode_3.dot
rust.0.11.0mode_1.dot
rust.0.11.0mode_3.dot
rust.0.7mode_1.dot
rust.0.7mode_3.dot
rust.0.8mode_1.dot
rust.0.8mode_3.dot
rust.0.9.1mode_1.dot
rust.0.9.1mode_3.dot
rust.0.9mode_1.dot
rust.0.9mode_3.dot
s2opc.S2OPC_Toolkit_1.1.0mode_1.dot
s2opc.S2OPC_Toolkit_1.1.0mode_3.dot
s2opc.S2OPC_Toolkit_1.2.0mode_1.dot
s2opc.S2OPC_Toolkit_1.2.0mode_3.dot
s2opc.S2OPC_Toolkit_1.3.0mode_1.dot
s2opc.S2OPC_Toolkit_1.3.0mode_3.dot
uanet.1.03.350.6mode_1.dot
uanet.1.03.350.6mode_3.dot
uanet.1.03.350mode_1.dot
uanet.1.03.350mode_3.dot
uanet.1.03.351.7mode_1.dot
uanet.1.03.351.7mode_3.dot
uanet.1.03.352.10mode_1.dot
uanet.1.03.352.10mode_3.dot
uanet.1.03.352.12mode_1.dot
uanet.1.03.352.12mode_3.dot
uanet.1.04.353.15mode_1.dot
uanet.1.04.353.15mode_3.dot
uanet.1.04.354.21mode_1.dot
uanet.1.04.354.21mode_3.dot
uanet.1.04.354.23mode_1.dot
uanet.1.04.354.23mode_3.dot
uanet.1.4.355.26mode_3.dot
uanet.1.4.356.27mode_3.dot
uanet.1.4.357.28mode_3.dot
uanet.1.4.358.30mode_3.dot
uanet.1.4.359.31mode_3.dot
uanet.1.4.360.33mode_1.dot
uanet.1.4.360.33mode_3.dot
uanet.1.4.361.39mode_1.dot
uanet.1.4.361.39mode_3.dot
uanet.1.4.362.42mode_1.dot
uanet.1.4.362.42mode_3.dot
uanet.1.4.363.107mode_1.dot
uanet.1.4.363.107mode_3.dot
uanet.1.4.363.49mode_1.dot
uanet.1.4.363.49mode_3.dot
uanet.1.4.364.40mode_1.dot
uanet.1.4.364.40mode_3.dot
uanet.1.4.365.10mode_1.dot
uanet.1.4.365.10mode_3.dot
uanet.1.4.365.23mode_1.dot
uanet.1.4.365.23mode_3.dot
uanet.1.4.365.2mode_1.dot
uanet.1.4.365.2mode_3.dot
uanet.1.4.365.48mode_1.dot
uanet.1.4.365.48mode_3.dot
uanet.1.4.366.38mode_1.dot
uanet.1.4.366.38mode_3.dot
uanet.1.4.367.100mode_1.dot
uanet.1.4.367.100mode_3.dot
uanet.1.4.367.39mode_1.dot
uanet.1.4.367.39mode_3.dot
uanet.1.4.367.41mode_1.dot
uanet.1.4.367.41mode_3.dot
uanet.1.4.367.42mode_1.dot
uanet.1.4.367.42mode_3.dot
uanet.1.4.367.75mode_1.dot
uanet.1.4.367.75mode_3.dot
uanet.1.4.367.95mode_1.dot
uanet.1.4.367.95mode_3.dot
uanet.1.4.368.33mode_1.dot
uanet.1.4.368.33mode_3.dot
uanet.1.4.368.53mode_1.dot
uanet.1.4.368.53mode_3.dot
uanet.1.4.368.58mode_1.dot
uanet.1.4.368.58mode_3.dot
uanet.1.4.369.30mode_1.dot
uanet.1.4.369.30mode_3.dot
uanet.1.4.370.12mode_1.dot
uanet.1.4.370.12mode_3.dot
uanet.1.4.370.1mode_1.dot
uanet.1.4.370.1mode_3.dot
uanet.1.4.370.9mode_1.dot
uanet.1.4.370.9mode_3.dot
uanet.1.4.371.41mode_1.dot
uanet.1.4.371.41mode_3.dot
uanet.1.4.371.50mode_1.dot
uanet.1.4.371.50mode_3.dot