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