VEST
From MaRDI portal
VEST Q14144
Cited in
(33)- Solution of the problem of \(L\)-optimal experiment design with a skeleton algorithm
- On the detection functional in motion of an object in a threat environment
- \({\mathcal P}\)-adic Henstock integral in inversion formula for multiplicative transform
- Model-driven architecture for embedded software: A synopsis and an example
- scientific article; zbMATH DE number 2108273 (Why is no real title available?)
- The Effective Sequence of Uniformities and its Limit as a Methodology in Computable Analysis
- Sensitivity analysis for fixed-priority real-time systems
- Conditional expectations of finite index and properties of modules arising from group actions
- Multivariate Nonnegative Quadratic Mappings
- Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems
- Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
- Some absolutely continuous representations of function algebras
- Optimal control applied to a thoraco-abdominal CPR model
- A microdeformation theory for damageable materials
- Uppaal2k
- Ptolemy
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking
- STELLA
- ObjectMath
- AspectC++
- VEST
- MathGR
- ORTHOVEC
- TContinuumMechanics
- A Platform-independent Component Modeling Language for distributed real-time and embedded systems
- GeneralVectorAnalysis
- Tensorial
- \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
- scientific article; zbMATH DE number 5832961 (Why is no real title available?)
- Yet Another Attack on Vest
- Providing Configurable QoS Management in Real-Time Systems with QoS Aspect Packages
- Overtaking VEST
- Control: a perspective
This page was built for software: VEST