swMATH1405MaRDI QIDQ14144FDOQ14144
Author name not available (Why is that?)
Official website: http://www.cs.virginia.edu/~control/vest.html
Cited In (32)
- 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
- 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
- Some absolutely continuous representations of function algebras
- 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?)
- A microdeformation theory for damageable materials
- Yet Another Attack on Vest
- Overtaking VEST
- \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
- Control: a perspective
- Ptolemy
- STELLA
- ObjectMath
- AspectC++
- VEST
- MathGR
- ORTHOVEC
- TContinuumMechanics
- GeneralVectorAnalysis
- Tensorial
- 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
This page was built for software: VEST
