„Formal Methods“

Suchergebnisse

1.421 Treffer

• Family-Based Modeling and Analysis for Probabilistic Systems
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Process Patterns - a Means to Describe Processes in a Flexible Way
  Hagen, Mariele ; Gruhn, Volker 2019 Universitätsbibliothek Leipzig
• Software Engineering and Formal Methods – 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings
  Bianculli, Domenico ; Gómez-Martínez, Elena 2026 Springer Nature Switzerland, Imprint: Springer
• Integrated Formal Methods – 20th International Conference, iFM 2025, Paris, France, November 19–21, 2025, Proceedings
  Damiani, Ferruccio ; Farrell, Marie 2026 Springer Nature Switzerland, Imprint: Springer
• Safety analysis of a radio-based crossing control system using formal methods
  Reif, Wolfgang ; Schellhorn, Gerhard ; Thums, Andreas 2000 Universität Augsburg
• Formal methods in philosophy of science
  Müller, Thomas 2014 Bibliothek der Universität Konstanz
• Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)
  Ábrahám, Erika ; Tarifa, Silvia Lizeth Taipa 2018 Universitätsbibliothek der RWTH Aachen
• Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, Duisburg, Germany – [In Conjunction with the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS)]
  Weyers, Benjamin ; Bowen, Judy ; Dix, Alan ; Palanque, Philippe 2015 Universitätsbibliothek der RWTH Aachen
• Re-Engineering Approach for PLC Programs based on Formal Methods – Re-Engineering-Ansatz für SPS-Programme auf Basis formaler Beschreibungen
  Bani Younis, Mohammed 2006 Shaker
• (Un)Sichtbare Wunden. Aktuelle Pflegesituationen unter der Berücksichtigung von Erlebnissen des Zweiten Weltkriegs
  Wilhelm, Inka ; Zank, Susanne ; Kleinau, Elke 2018 Universitäts- und Stadtbibliothek Köln
• New Formal Methods for Automotive Configuration
  Zengler, Christoph ; Küchlin, Wolfgang 2014 Universitätsbibliothek Tübingen
• Effects of binary ethyleneimine and formaldehyde inactivation methods on foot-and-mouth disease virus vaccine immune responses and kinetics
  Habtewold, Wendyfraw Tsegaw ; Welde, Negesse ; Kenubih, Ambaye ; Getahun, Yared Abate ; Abayneh, Takele ; Getachew, Belayneh ; Woldemedhin, Wubet ; Tesfaye, Yeneneh ; Tesfaw, Liyuwork ; Getachew, Yitbarek ; Negussie, Haileleul
• Integrating Symbolic Execution, Debugging and Verification
  Hentschel, Martin ; Hähnle, Reiner ; Leino, K. Rustan M. 2016 Universitäts- und Landesbibliothek Darmstadt
• A Verified POSIX-Compliant Flash File System - Modular Verification Technology & Crash Tolerance
  Ernst, Gidon ; Reif, Wolfgang 2017 Universität Augsburg
• Rigorous State-Based Methods – 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
  Bonfanti, Silvia ; Gargantini, Angelo ; Leuschel, Michael ; Riccobene, Elvinia ; Scandurra, Patrizia 2024 Springer Nature Switzerland, Imprint: Springer
• Tight integration of cache, path and task-interference modeling for the analysis of hard real time systems
  Kleinsorge, Jan C. ; Marwedel, Peter ; Lisper, Björn 2015 Universitätsbibliothek Dortmund
• Towards robust electronic health record systems: integrating formal verification and process modeling techniques
  Khan, Saba ; Akhtar, Nadeem ; Mushtaq, Muhammad Faheem ; Abdel Samee, Nagwan ; Mahmoud, Noha F. ; Ashraf, Imran
• Enantioselective Copper‐Catalysed Propargylic Substitution: Synthetic Scope Study and Application in Formal Total Syntheses of (+)‐Anisomycin and (−)‐Cytoxazone
  Detz, Remko J. ; Abiri, Zohar ; le Griel, Remi ; Hiemstra, Henk ; Maarseveen, Jan H. ˜vanœ
• Electrodynamics
  Petrascheck, Dietmar ; Schwabl, Franz 2025 Springer
• Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071)
  Deshmukh, Jyotirmoy ; Könighofer, Bettina ; Ničković, Dejan ; Cano, Filip