„Formal Methods“

Suchergebnisse

1.421 Treffer

• Theoretical computer science – 8th IFIP TC 1 WG 2.2 international conference ; proceedings
  Díaz, Josep ; Lanese, Ivan ; Sangiorgi, Davide 2014 Springer
• 3rd International Workshop on Formal Methods for Blockchains (FMBC 2021)
  Bernardo, Bruno ; Marmsoler, Diego 2021 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• 5th International Workshop on Formal Methods for Blockchains (FMBC 2024)
  Bernardo, Bruno ; Marmsoler, Diego 2024 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492)
  Attiya, Hagit ; Enea, Constantin ; Rajsbaum, Sergio ; Sokolova, Ana
• Enhanced efficient catalytic oxidation of formaldehyde using lignin-based fibers supported manganese dioxide
  Zhang, Wen ; Xu, Yucheng ; Lin, Jian
• Formal Methods in Molecular Biology (Dagstuhl Seminar 11151)
  Breitling, Rainer ; Uhrmacher, Adelinde ; Bruggeman, Frank J. ; Priami, Corrado
• Parameter synthesis for Markov models – covering the parameter space
  Junges, Sebastian ; Ábrahám, Erika ; Hensel, Christian ; Jansen, Nils ; Katoen, Joost-Pieter ; Quatmann, Tim ; Volk, Matthias 2024 Ruhr-Universität Bochum
• Model Checking of Asbru
  Dunets, Andriy ; Bäumler, Simon ; Hommersom, Arjen ; Reif, Wolfgang 2009 Universität Augsburg
• Super-Quantum Mechanics in the Integral Form Formalism
  Castellani, L. ; Catenacci, R. ; Grassi, Pietro A.
• Rationality and Operators – The Formal Structure of Preferences
  Cato, Susumu 2016 Springer Singapore
• Is Formal Language Proficiency in the Home Language Required to Profit from a Bilingual Teaching Intervention in Mathematics? A Mixed Methods Study on Fostering Multilingual Students’ Conceptual Understanding
  Schüler-Meyer, Alexander ; Prediger, Susanne ; Kuzu, Taha ; Wessel, Lena ; Redder, Angelika
• SecureMDD: A Model-Driven Development Method for Secure Smartcard Applications
  Moebius, Nina ; Grandy, Holger ; Reif, Wolfgang ; Stenzel, Kurt 2008 Universität Augsburg
• Formal methods in the scope of the Software and Systems Modeling journal
  Chechik, Marsha ; Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard 2025 Universitätsbibliothek der RWTH Aachen
• Formally Specifying Contract Optimizations with Bisimulations in Coq
  Sorensen, Derek 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards a Mechanization of Fraud Proof Games in Lean
  Ceresa, Martín ; Sánchez, César 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge
  Obendrauf, Kai ; Baanen, Anne ; Koopmann, Patrick ; Stebletsova, Vera 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq
  Sorensen, Derek 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Mechanised Consensus in Isabelle
  Jones, Elliot ; Marmsoler, Diego 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modelling Homogeneous Generative Meta-Programming
  Berger, Martin ; Tratt, Laurence ; Urban, Christian 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Can Formal Methods Cope with Software-Intensive Systems? (Dagstuhl Seminar 01221)
  Jähnichen, Stefan ; Kramer, Jeff ; Lemoine, Michel ; Wirsing, Martin 2002 Schloss Dagstuhl – Leibniz-Zentrum für Informatik