Pages that link to "Item:Q3012935"
From MaRDI portal
The following pages link to Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935):
Displaying 8 items.
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935) (← links)
- Axiomatizing Analog Algorithms (Q3188259) (← links)
- A semantics for hybrid iteration (Q5009436) (← links)
- Relational Differential Dynamic Logic (Q5039509) (← links)
- A Nonstandard Functional Programming Language (Q5056008) (← links)
- Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis (Q5915714) (← links)
- Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs (Q6152664) (← links)