Automated wordlength optimization framework for multi-source statistical interval-based analysis of nonlinear systems with control-flow structures

Aquesta tesi apareix a les col·leccions següents