Programmes par eden.sf.net

Eden est l’évaluateur des notations d’état-été. Les outils tkeden, dtkeden et ttyeden fournissent des notations interprétées : utilisez-les pour construire des modèles en utilisant des principes empiriques de modélisation de