„Dynamic Verification“
Suchergebnisse
397 Treffer
-
Hybrid Systems Biology – Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
-
A Research landscape on formal verification of UML dynamic modeling
-
DMC-Watermark: A backdoor richer watermark for dual identity verification by dynamic mask covering
-
Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
-
Material removal model for magnetorheological dynamic pressure polishing based on gap-varying and experimental verification
-
Robotic Verification of Spacecraft Rendezvous in-Loop with Real-Time Satellite Dynamics Simulation
-
A dynamic approach to the verification of distributional universals
-
Rule-based design verification for mechanical parts with dynamic rule subset selection
-
STP-based verification of extended finite multi-potential games
-
Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
-
Dynamic model and experimental verification of magnetorheological damper based on annular damping channel
-
Dynamic Timed Colored Petri Nets: A High-Level Formalism for the Modeling and Verification of Dynamic-Structure Systems
-
Numerical Simulation and Industrial Verification for Electromagnetic Stirring Technology in a 450t Consteel Furnace
-
SKETCH-N/ATHLET steady-state and dynamic coupling scheme verification on Kalinin-3 benchmark results
-
A dynamic model of a three-point contact ball bearing-rotor system: numerical and experimental verification
-
Dynamic costly state verification
-
Verification of Chaos in a Human Cardiovascular System Model
-
Network pharmacology, molecular docking, molecular dynamics simulation, and experiment verification analysis to reveal the action mechanism of RenShen Guipi Wan in the treatment of anemia
-
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
-
Verification of the multichannel pulsed ultrasonic Doppler velocimeter for the measurement of liquid metal flow