„Formal Methods“

Suchergebnisse

1.421 Treffer

• Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods
  Faissole, Florian
• Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
  Quadrat, Alban ; Yengui, Ihsen 2009 Zürich : EMS Publ. House
• Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
  Huisman, Marieke ; Păsăreanu, Corina S. ; Zhan, Naijun
• Summation of formal Fourier series by methods of Gauss-Weierstrass type
  Gorodetskii, V. V.
• On the Quantitative Determination of Some Different Condensation Products of Aniline and Formaldehyd by Different Chromatographic Methods
  Falke, P. ; Tenner, R. ; Knopp, H.
• Combining formal methods and Bayesian approach for inferring discrete-state stochastic models from steady-state data
  Klein, Julia ; Phung, Huy ; Hajnal, Matej ; Šafránek, David ; Petrov, Tatjana 2023 KOPS Universität Konstanz
• Formal Global AKSZ Gauge Observables and Generalized Wilson Surfaces
  Moshayedi, Nima
• VSE: formal methods meet industrial needs
  Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas
• Access to formal childcare among families of newly arrived migrants from non-EU countries in France
  Eremenko, Tatiana ; Unterreiner, Anne
• Agent-oriented software engineering X – 10th international workshop ; revised selected papers
  Gleizes, Marie-Pierre ; Gomez-Sanz, Jorge J. 2011 Springer
• Analysis of the results of investigation of the kinetics of ordering in alloys of different systems by the methods of formal chemical kinetics
  Makarova, L. I. ; Paskal', Yu. I.
• A study of BERT-based methods for formal citation identification of scientific data
  Yang, Ning ; Zhang, Zhiqiang ; Huang, Feihu
• Preface of the special issue on formal methods in industrial critical systems
  Güdemann, Matthias ; Núñez, Manuel
• Security requirements specification by formal methods: a research metadata analysis
  Mishra, Aditya Dev ; Mustafa, Khurram
• Formalization of Methods for the Development of Autonomous Artificial Intelligence Systems
  Zgurovsky, M. Z. ; Kasyanov, P. O. ; Levenchuk, L. B.
• Explanation of the Model Checker Verification Results
  Kaleeswaran, Arut Prakash ; Grunske, Lars ; Tichy, Matthias ; Vogel, Thomas 2023 Humboldt-Universität zu Berlin
• A General Method to Access Sterically Encumbered Geminal Bis (boronates) via Formal Umpolung Transformation of Terminal Diboron Compounds
  Ning, Peng‐Fei ; Wei, Yi ; Chen, Xin‐Yi ; Yang, Yi‐Fei ; Gao, Feng‐Chen ; Hong, Kai
• A General Method to Access Sterically Encumbered Geminal Bis (boronates) via Formal Umpolung Transformation of Terminal Diboron Compounds
  Ning, Peng‐Fei ; Wei, Yi ; Chen, Xin‐Yi ; Yang, Yi‐Fei ; Gao, Feng‐Chen ; Hong, Kai
• Optimizing Verification of RTL Designs Using Reinforcement Learning Methods
  Ohana, Eric 2023 Universitätsbibliothek Bielefeld
• Flexible Correct-by-Construction Programming
  Runge, Tobias ; Bordis, Tabea ; Potanin, Alex ; Thüm, Thomas ; Schaefer, Ina 2023 Universität Ulm