ScicosLab
From MaRDI portal
Cited in
(10)- SCADE
- Scicos
- GENDA
- HybridSal
- PVSio-web
- Manip
- 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
- Modeling and simulation in Scilab/Scicos with ScicosLab 4.4
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
This page was built for software: ScicosLab
