print · login   

Main (29 pages)  

Benchmark FIF Oset  
Benchmark IEC 60870-5-104  
Benchmark Results  
Benchmarks  
Benchmark Structure  
Bibliography  
Bla  
Bla 3  
Case Studies  
Contribute  
Contributors  
Downloads  
Evaluation Criteria  
Home Page  Automata benchmarks for dfa,mealy,moore,interface and register automata hosted on the iCIS institute at the Radboud University
Literature  
Mealy Machines  
Opportunities  
Other Repositories  
Overview  
Publication Venues  
Register Automata  
RERS  
Scripts  
Side Bar  
Table  
Todo  
Tools  
Wiki Sandbox  Feel free to use this page to experiment with the Text Formatting Rules

subsites