Radboud University
iCIS

Automata Wiki

  • ↑ To Benchmarks

EMV protocol

  • Description
  • Bibliography

Benchmark models

  • Mealy

Learning with mapper

  • The Mapper
  • Learned models of bank card protocols
  • Pictures of Learned Models
    print · login   
Home » BenchmarkBankcard-AartsEtAl2013 » SideBar
  • ↑ To Benchmarks

EMV protocol

  • Description
  • Bibliography

Benchmark models

  • Mealy

Learning with mapper

  • The Mapper
  • Learned models of bank card protocols
  • Pictures of Learned Models