ScicosLab

swMATH4931MaRDI QIDQ17082FDOQ17082

Author name not available (Why is that?)

Official website: http://www.scicoslab.org/

Cited In (7)

• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
• Modeling and simulation in Scilab/Scicos with ScicosLab 4.4
• HybridSal
• PVSio-web
• Manip
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
• General nonlinear differential algebraic equations and tracking problems: a robotics example

This page was built for software: ScicosLab