Sample Image

Sapo

Nov 30, 2017
Go to Project Site APP

Sapo is a C++ tool for the formal analysis of discrete-time polynomial dynamical systems.

See Sapo’s home page. See Also Sapo.

academic bioinformatics Hybrid system analysis