„Dynamic Verification“

Suchergebnisse

397 Treffer

• Rewriting Systems over Nested Data Words
  Bouajjani, Ahmed ; Drăgoi, Cezara ; Jurski, Yan ; Sighireanu, Mihaela 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)
  Havelund, Klaus ; Leucker, Martin ; Reger, Giles ; Stolz, Volker
• Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)
  Aziz Abdulla, Parosh ; Gadducci, Fabio ; König, Barbara ; Vafeiadis, Viktor
• Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)
  Bjorner, Nikolaj ; Nieuwenhuis, Robert ; Veith, Helmut ; Voronkov, Andrei
• Mining Dynamics: Using Data Mining Techniques to Analyze Multi-agent Learning
  Sherief, Abdallah
• Verification of the Theoretical Model for Analyzing Dynamic Behavior of the PIG from Actual Pigging
  Kim, Dong Kyu ; Cho, Sung Ho ; Park, Seoung Soo ; Rho, Yong Woo ; Yoo, Hui Ryong ; Nguyen, Tan Tien ; Kim, Sang Bong
• Verification of the VVER-1200 Reactor Dynamic Model Consisting of a Single Fuel Node Adjacent to Two Coolant Nodes
  Pravosud, S. S. ; Maslakov, D. S. ; Yakubov, Ya. O. ; Ovcherenko, A. A.
• On narrowing the gap between verification and systematic testing
  Christakis, Maria
• Tailored gait-pattern generation and verification based on the dynamic analysis of the human musculoskeletal model
  Shanmuga Prasad, Shamanth ; Kim, Youngwoo
• Correct dynamic service oriented architectures – modeling and compositional verification with dynamic collaborations
  Becker, Basil ; Giese, Holger ; Neumann, Stefan 2009 Univ.-Verl.
• Mathematical modeling of circulation and its verification
  Jianhua, Tao
• Flow field calculation and its experimental verification for inertia stage of marine gas turbine air intake filter
  Yuanlong, Cheng ; Shunlong, Liu ; Ming, Yao ; Zonglin, Jian
• Semi-physical Verification Technology for Dynamic Performance of Internet of Things System
  Yu, Xiaolei ; Wang, Donghua ; Zhao, Zhimin 2019 Springer Singapore
• Logical Foundations of Cyber-Physical Systems
  Platzer, André 2018 Springer International Publishing
• Dynamics of the Unicycle – Modelling and Experimental Verification
  Niełaczny, Michał ; Wiesław, Barnat ; Kapitaniak, Tomasz 2019 Springer International Publishing
• Tropical Peatland Ecosystems
  2016 Springer Japan
• Tests and Proofs – 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
  Blanchette, Jasmin ; Kosmatov, Nikolai 2015 Springer International Publishing
• Software Engineering for Collective Autonomic Systems – The ASCENS Approach
  2015 Springer International Publishing
• Functional Verification of Dynamically Reconfigurable FPGA-based Systems
  2015 Springer International Publishing
• Runtime Verification – 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
  2014 Springer International Publishing