Toward Verified Modelling and Simulation of Closed Loop Systems in SMARTMOBILE

DOI10.1007/978-3-642-12110-4_91zbMATH Open1308.70002OpenAlexW1013570926MaRDI QIDQ3006995

Author name not available (Why is that?)

Publication date: 21 June 2011

Published in: Progress in Industrial Mathematics at ECMI 2008 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12110-4_91

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mechanics of particles and systems (70-04) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (1)

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

Uses Software

• SmartMobile
• MSSMOBILE

This page was built for publication: Toward Verified Modelling and Simulation of Closed Loop Systems in SMARTMOBILE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3006995)