Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory

Publication
Numerical Software Verification (NSV-2016)