„Formal Methods“

Suchergebnisse

1.421 Treffer

• Formal [2+2+2] Cycloaddition Reaction of 1,3,5‐Triazinanes with diethyl acetylene dicarboxylate: Approach to Tetrahydropyrimidines
  Shi, Ruijie ; Gao, Limei ; Chen, Weiji ; Shi, Yangqing ; Cao, Zhixing ; Zheng, Yongsheng ; Liu, Jikai
• A Convenient Formal [4+2] Heterocylization Route to Bis(triflyl)tetrahydroquinolines
  Lázaro‐Milla, Carlos ; Almendros, Pedro
• Verifying Reliability (Dagstuhl Seminar 12341)
  Fey, Görschwin ; Fujita, Masahiro ; Miskov-Zivanov, Natasa ; Roy, Kaushik ; Sonza Reorda, Matteo
• Integrated formal methods – 7th international conference ; proceedings
  Leuschel, Michael 2009 Springer
• Contributions to statistical methods for non-standard data – data depth and formal concept analysis
  Blocher, Hannah ; Augustin, Thomas 2025 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Formally Verified Solution Methods for Markov Decision Processes
  Schäffeler, Maximilian ; Nipkow, Tobias ; Kretinsky, Jan 2025 Universitätsbibliothek der TU München
• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• Formal methods for transport systems
  Beek, Maurice H. ˜terœ ; Gnesi, Stefania ; Knapp, Alexander 2018 Universität Augsburg
• Algorithmic Cheminformatics (Dagstuhl Seminar 17452)
  Andersen, Jakob L. ; Flamm, Christoph ; Merkle, Daniel ; Stadler, Peter F.
• Informal and formal care preferences and expected willingness of providing elderly care in Germany: Protocol for a mixed-methods study
  Jong, Lea ˜deœ ; Plöthner, Marika Anne ; Stahmeyer, Jona ; Eberhard, Sveja ; Zeidler, Jan ; Damm, Kathrin 2019 Gottfried Wilhelm Leibniz Universität Hannover
• Unconventional computation – 10th international conference ; proceedings
  Calude, Cristian ; Kari, Jarkko ; Petre, Ion ; Rozenberg, Grzegorz 2011 Springer
• A formalization of consensus index methods
  Day, William H. E. ; McMorris, Fred R.
• Elektrodynamik
  Petrascheck, Dietmar ; Schwabl, Franz 2023 Springer Berlin Heidelberg, Imprint: Springer Spektrum
• Elektrodynamik
  Petrascheck, Dietmar ; Schwabl, Franz 2019 Springer Berlin Heidelberg
• Designing Reliable Distributed Systems – A Formal Methods Approach Based on Executable Modeling in Maude
  2017 Springer London
• Concise Guide to Formal Methods – Theory, Fundamentals and Industry Applications
  O'Regan, Gerard 2017 Springer International Publishing
• Functional phase space methods – quantum optics in all degrees of freedom
  Roux, Filippus S. 2025 De Gruyter
• Concurrent Programming, Open Systems and Formal Methods – Essays Dedicated to Gul Agha to Celebrate His Scientific Career
  Meseguer, José ; Varela, Carlos A. ; Venkatasubramanian, Nalini 2026 Springer Nature Switzerland, Imprint: Springer
• Software Tools for Integrating Special Quasirandom Structures and the Cluster Variation Method into the CALPHAD Formalism
  Samanta, Sayan ; Walle, Axel van de
• Applying the Effective Bond Energy Formalism (EBEF) to Describe the Sigma (σ) Phase in the Co-Cr-Ni-Re System
  Santos, Júlio César Pereira dos ; Griesemer, Sean ; Dupin, Nathalie ; Kattner, Ursula R. ; Liu, Chuan ; Ivanova, Daniela ; Hammerschmidt, Thomas ; Fries, Suzana G. ; Wolverton, Chris ; Campbell, Carelyn E.