A simulation software for numerical techniques.
ntccKMC: A Kripke-structure-based model checker for ntcc
Webpage for researchers
A standard test set for evaluating traffic control technologies
Software package for the joint genotyping
Estimate software development effort with 5 different methods
Software for modelling tree growth