Explore projects

public README

http://tomte.cs.ru.nl/ Tomte is a tool that fully automatically constructs abstractions for automata learning.

library for creating and using statemachines : lts,fsm and efsm

Latex class voor de RU biref stijl

Small tool to semi-automatically calibrate and correct for magnetoresistance in temperature sensors

Software to run the pipelines, work with database, etc.

... test wiki