VEST
From MaRDI portal
Software:14144
swMATH1405MaRDI QIDQ14144FDOQ14144
Author name not available (Why is that?)
Cited In (22)
- Model-driven architecture for embedded software: A synopsis and an example
- Sensitivity analysis for fixed-priority real-time systems
- Conditional expectations of finite index and properties of modules arising from group actions
- \({\mathcal P}\)-adic Henstock integral in inversion formula for multiplicative transform
- Optimal control applied to a thoraco-abdominal CPR model
- Title not available (Why is that?)
- Providing Configurable QoS Management in Real-Time Systems with QoS Aspect Packages
- On the detection functional in motion of an object in a threat environment
- Multivariate Nonnegative Quadratic Mappings
- Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- A Platform-independent Component Modeling Language for distributed real-time and embedded systems
- Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Yet Another Attack on Vest
- Overtaking VEST
- \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
- Control: a perspective
- Solution of the problem of \(L\)-optimal experiment design with a skeleton algorithm
- The Effective Sequence of Uniformities and its Limit as a Methodology in Computable Analysis
- Title not available (Why is that?)
This page was built for software: VEST