ScicosLab
From MaRDI portal
Software:17082
No author found.
Related Items (4)
Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system ⋮ General Nonlinear Differential Algebraic Equations and Tracking Problems: A Robotics Example ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems ⋮ Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
This page was built for software: ScicosLab
