Pages that link to "Item:Q2565500"
From MaRDI portal
The following pages link to Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems. (Q2565500):
Displaying 6 items.
- Ten misconceptions from the history of analysis and their debunking (Q360440) (← links)
- Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond (Q486948) (← links)
- An integer construction of infinitesimals: toward a theory of eudoxus hyperreals (Q691131) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)
