„Formal Methods“

Suchergebnisse

1.421 Treffer

• Model-Driven Dependability Assessment of Software Systems
  Bernardi, Simona ; Merseguer, Jose ; Petriu, Dorina C. 2013 Springer Berlin Heidelberg
• FORMS/FORMAT 2010 – Formal Methods for Automation and Safety in Railway and Automotive Systems
  Schnieder, Eckehard 2011 Springer Berlin Heidelberg
• Computational efficiency in symbolic optimal control
  Macoveiciuc, Elisei ; Reißig, Gunther ; Moor, Thomas 2024 Universitätsbibliothek der Universität der Bundeswehr München
• Selbstreguliertes Lernen beim informellen Lernen am Arbeitsplatz: Die Rolle von Kontext und Motivation und Möglichkeiten der Förderung
  Kittel, Anne Frieda Doris 2024 Universität Ulm
• Automating the Design of Multigrid Methods with Evolutionary Program Synthesis
  Schmitt, Jonas ; Köstler, Harald ; Machado, Penousal ; Fey, Dietmar 2024 FAU University Press
• Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
  Zhong, Bingzhuo ; Caccamo, Marco ; Arcak, Murat ; Zamani, Majid 2023 Universitätsbibliothek der TU München
• Formal Methods for Trustworthy Voting Systems – From Trusted Components to Reliable Software
  Kirsten, Michael ; Beckert, Bernhard ; Schürmann, Carsten 2023 KIT-Bibliothek
• An Algorithm for Matching Nondeterministic Services with Operating Guidelines
  Massuthe, Peter ; Wolf, Karsten 2006 Humboldt-Universität zu Berlin
• Formal Verification of Industrial Software and Neural Networks
  Kleine Büning, Marko ; Sinz, Carsten 2022 KIT-Bibliothek
• Symbolic methods for formal verification of industrial control software
  Bohlender, Dimitri ; Kowalewski, Stefan ; Hermanns, Holger 2021 Universitätsbibliothek der RWTH Aachen
• App-Orchestrierung als Methode zur formalen Modellierung von App-Ensembles für industrielle Geschäftsprozesse
  Pfeffer, Johannes ; Urbas, Leon ; Zühlke, Detlef 2021 Technische Universität Dresden
• The Dependability Revolution: Mathematical Tools for Building Secure, Reliable Systems
  Sanjay 2024 tredition
• Beyond Testing: The Art and Science of Formal Verification
  Shalini 2024 tredition
• Coloured Petri Nets – Modelling and Validation of Concurrent Systems
  2009 Springer Berlin Heidelberg
• Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
  Huster, Stefan 2020 Universitätsbibliothek Tübingen
• Constructing and Extending Description Logic Ontologies using Methods of Formal Concept Analysis
  Kriegel, Francesco ; Baader, Franz ; Kuznetsov, Sergei O. 2019 Technische Universität Dresden
• Formal Methods for Probabilistic Energy Models
  Daum, Marcus ; Baier, Christel ; Parker, David 2019 Technische Universität Dresden
• Visualisierung und Analyse multivariater Daten in der gartenbaulichen Beratung -Methodik, Einsatz und Vergleich datenanalytischer Verfahren
  Krusche, Stefan ; Thomas, E. ; Schenk, E. W. ; Bokelmann, W. 1999 Humboldt-Universität zu Berlin
• Formal Methods for the Reliability of Non-Classical Systems
  Klamroth, Jonas ; Beckert, Bernhard ; Soudjani, Sadegh 2025 KIT-Bibliothek
• Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning with Formal Methods
  Krasowski, Hanna ; Althoff, Matthias ; Bloem, Roderick ; Zamani, Majid 2024 Universitätsbibliothek der TU München