Radboud University
iCIS

Automata Wiki

  • Home
  • Please contribute!

Benchmarks

  • Overview
  • Benchmark structure
  • Modelling frameworks
  • Evaluation criteria
  • Downloads

Software

  • Scripts

People

  • Contributors

Further reading and links

  • Learning/testing tools
  • Other repositories
  • Bibliography
    print · login   
Home » WikiSandbox

(redirected from PmWiki.WikiSandbox)

Feel free to use this page to experiment with the Text Formatting Rules. Just click the "Edit Page" link at the top of the page after being logged in.


  • BenchmarkASMLRERS-YangEtAl2019.Mealy
  • BenchmarkBankcard-AartsEtAl2013.Mealy
  • BenchmarkCircuits.Mealy
  • BenchmarkCoffeeMachine-SteffenEtAl2011.Mealy
  • BenchmarkDTLS-Fiterau-BrosteanEtAl2020.Mealy
  • BenchmarkEdentifier2-ChaluparEtAl2014.Mealy
  • BenchmarkESMcontroller-SmeenkEtAl2015.Mealy
  • BenchmarkFromRhapsodyToDezyne-SchutsEtAl2018.Mealy
  • BenchmarkIEC60870-5-104.Mealy
  • BenchmarkMQTT-TapplerEtAl2017.Mealy
  • BenchmarkQUICprotocol.Mealy
  • BenchmarkSSH.Mealy
  • BenchmarkTCP.Mealy
  • BenchmarkTLS.Mealy
  • BenchmarkToyModels.Mealy
  • BenchmarkXrayPowerControlService-SchutsEtAl2016.Mealy