„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
  Maler, Oded ; Halász, Ádám ; Dang, Thao ; Piazza, Carla 2015 Springer International Publishing
• A Research landscape on formal verification of UML dynamic modeling
  Wu, Runfang ; Du, Ye ; Tang, Yu
• DMC-Watermark: A backdoor richer watermark for dual identity verification by dynamic mask covering
  Zhu, Yujia ; Wang, Ruoxi ; Xia, Daoxun
• Correct dynamic service-oriented architectures : modeling and compositional verification with dynamic collaborations
  Becker, Basil ; Giese, Holger ; Neumann, Stefan 2009 Universität Potsdam
• Material removal model for magnetorheological dynamic pressure polishing based on gap-varying and experimental verification
  Luo, Bin ; Zhang, Long ; Yan, Qiusheng ; Jiao, Zhenhua ; Fu, Youzhi ; Luo, Jinxing
• Robotic Verification of Spacecraft Rendezvous in-Loop with Real-Time Satellite Dynamics Simulation
  Rems, F. 2017 Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V.
• A dynamic approach to the verification of distributional universals
  MASLOVA, ELENA
• Rule-based design verification for mechanical parts with dynamic rule subset selection
  Lee, Hyeonji ; Yeo, Changmo ; Lim, Seungeun ; Kim, Byung Chul ; Bae, Kyung Cheol ; Mun, Duhwan
• STP-based verification of extended finite multi-potential games
  Zhang, Zhipeng ; Peng, Haotian ; Song, Jianbo ; Chen, Zengqiang
• Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
  Karimov, Toghrul 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic model and experimental verification of magnetorheological damper based on annular damping channel
  Du, Xinxin ; Sun, Zengchun
• Dynamic Timed Colored Petri Nets: A High-Level Formalism for the Modeling and Verification of Dynamic-Structure Systems
  Tigane, Samir ; Guerrouf, Fayçal ; Kahloul, Laid ; Khalgui, Mohamed
• Numerical Simulation and Industrial Verification for Electromagnetic Stirring Technology in a 450t Consteel Furnace
  Teng, Lidong ; Yang, Hongliang ; Zielinska, Monika ; Bianchi, Andrea
• SKETCH-N/ATHLET steady-state and dynamic coupling scheme verification on Kalinin-3 benchmark results
  Romanenko, Vladislav ; Zimin, Vyacheslav ; Nikonov, Sergey ; Tikhomirov, Georgy ; Perin, Yann ; Henry, Romain ; Velkov, Kiril
• A dynamic model of a three-point contact ball bearing-rotor system: numerical and experimental verification
  Zhou, Jilai ; Luo, Zhong ; Li, Lei ; Tang, Rui ; Ma, Tianyue ; Yang, Dongsheng
• Dynamic costly state verification
  Wang, Cheng
• Verification of Chaos in a Human Cardiovascular System Model
  Kuptsov, Pavel V. ; Ishbulatov, Yuriy M. ; Karavaev, Anatoly S. ; Stankevich, Nataliya V.
• 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
  Qu, Tingli ; Zhang, Nan ; Li, Chen ; Liu, Xuyuan ; Yun, Keming ; An, Quan
• Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
  Loghi, Mirko ; Margaria, Tiziana ; Pravadelli, Graziano ; Steffen, Bernhard
• Verification of the multichannel pulsed ultrasonic Doppler velocimeter for the measurement of liquid metal flow
  Pan, Ding-Yi ; Huang, Yi-Fei ; Lyu, Ze ; Yang, Juan-Cheng ; Ni, Ming-Jiu