VEST

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