Pages that link to "Item:Q3634000"
From MaRDI portal
The following pages link to Modelling of Complex Systems: Systems as Dataflow Machines (Q3634000):
Displaying 10 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (Q264193) (← links)
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Macro-dataflow computational model and its simulation (Q2277822) (← links)
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Q3012935) (← links)
- Modelling of Complex Systems Given as a Mealy Machine with Linear Decision Diagrams (Q3527856) (← links)
- Modelling of Complex Software Systems: A Reasoned Overview (Q3613056) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- A Nonstandard Functional Programming Language (Q5056008) (← links)