Sökning: "validated numerics"
Hittade 1 avhandling innehållade orden validated numerics.
1. Rigorous Simulation : Its Theory and Applications
Sammanfattning : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. LÄS MER
Resultatsidor:
1