„Dynamic Verification“

Suchergebnisse

397 Treffer

• Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement
  Ulbrich, Mattias ; Schmitt, P. H. 2013 KIT-Bibliothek
• A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
  Mendoza Cervantes, Francisco 2014 KIT Scientific Publishing
• Contraction dynamics of biological muscles – mechanical and thermodynamical prediction, and experimental verification
  Häufle, Daniel F. B. ; Wunner, Günter 2013 Universitätsbibliothek der Universität Stuttgart
• Critical behavior and crossover effects in the properties of binary and ternary mixtures and verification of the dynamic scaling conception
  Iwanowski, Ireneusz
• Specification and verification of dynamic topology systems – on the applicability of query- and data-type-reduction-based abstractions
  Westphal, Bernd
• Static and dynamic modeling, analysis, and experimental verification of a helical spring element with geometric nonlinearity theory
  Zhang, Jian ; Qi, Zhaohui ; Wang, Gang ; Zhang, Xiqing ; Wang, Jing ; Xu, Wenwen ; Shu, Yong
• Rudderless flight control in flying wing aircraft: core active flow control technology and flight verification
  Zhijie, Zhao ; Taiyu, Liu ; Zhenbing, Luo ; Zhiyan, Guo ; Xiong, Deng ; Yan, Zhou ; Wenqiang, Peng
• DIN 631, Wälzlager - Prüfbedingungen zur versuchstechnischen Verifikation der dynamischen Tragzahl von Profilschienenführungen mit kompakten Kugel- oder Rollenumlaufwagen – = Rolling bearings - testing conditions for the experimental verification of the dynamic load rating of ball carriage or roller carriage profiled rail guides
  2025 DIN Media GmbH
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Runtime Verification – 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
  Legay, Axel ; Bensalem, Saddek 2013 Springer Berlin Heidelberg
• Open Source Software: Quality Verification – 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings
  Petrinja, Etiel ; Succi, Giancarlo ; Ioini, Nabil el ; Sillitti, Alberto 2013 Springer Berlin Heidelberg
• Reachability Problems – 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
  Finkel, A. ; Leroux, Jérôme ; Potapov, Igor 2012 Springer Berlin Heidelberg
• Testing Software and Systems – 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
  Wolff, Burkhart ; Zaidi, Fatiha 2011 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg
• Programming Languages and Systems – 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  Barthe, Gilles 2010 Springer Berlin Heidelberg
• Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
• Testing Software and Systems – 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
  Petrenko, Alexandre ; Simão, Adenilso ; Maldonado, José Carlos 2010 Springer Berlin Heidelberg
• An interactive verification system based on dynamic logic
  Hähnle, R. ; Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Siekmann, Jörg H. 1986 Universität Augsburg
• Program verification using dynamic logic
  Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Börger, Egon ; Kleine Büning, Hans ; Richter, Michael M. 1988 Universität Augsburg
• A dynamic logic for program verification
  Heisel, M. ; Reif, Wolfgang ; Stephan, W. ; Meyer, Albert R. ; Taitslin, Michael A. 1989 Universität Augsburg