Programmi di coho.sf.net

Coho è una piattaforma di analisi della raggiungibilità per sistemi ibridi non lineari ad alta dimensione, in particolare per la verifica del circuito analogico. Questo strumenti è stato applicato per verificare molti circuit