„Formale Methode“

Suchergebnisse

1.000+ Treffer

• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Formale Unterqualifikation in der Pflege – Bildungs- und Berufswege im Fokus
  Sachse, Lena 2025 wbv Media GmbH & Co. KG
• Formale Unterqualifikation in der Pflege – Bildungs- und Berufswege im Fokus
  Sachse, Lena 2025 wbv
• Towards an Isabelle theory for distributed, interactive systems
  Bürger, Jens Christoph ; Stüber, Sebastian ; Raco, Deni ; Rumpe, Prof. Dr. rer. nat. Bernhard ; Kausch, Hendrik ; Ringert, Jan Oliver ; Wiartalla, Marc 2020 Shaker Verlag
• Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages
  Bornebusch, Fritjof ; Wille, Robert ; Drechsler, Rolf ; Fey, Görschwin 2021 Staats- und Universitätsbibliothek Bremen
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Formal Verification in Automated Manufacturing
  Tang, Yiheng ; Moor, Thomas ; Raisch, Jörg 2024 FAU University Press
• Theoretical aspects of computing – 6th international colloquium ; proceedings
  Leucker, Martin 2009 Springer
• Integrated formal methods – 7th international conference ; proceedings
  Leuschel, Michael 2009 Springer
• Formal software engineering of distributed systems using focus-streams and automata
  Stüber, Sebastian ; Rumpe, Bernhard ; Grosu, Radu 2025 Universitätsbibliothek der RWTH Aachen
• Integration platform for workflow automation and digitalization in bioprocess laboratories
  Bromig, Lukas ; Weuster-Botz, Dirk ; Oldiges, Marco 2025 Universitätsbibliothek der TU München
• Analyzing edits to static variability
  Bittner, Paul Maximilian 2025 Universität Ulm
• Formally Verified Solution Methods for Markov Decision Processes
  Schäffeler, Maximilian ; Nipkow, Tobias ; Kretinsky, Jan 2025 Universitätsbibliothek der TU München
• Symmetric and efficient synthesis
  Ehlers, Rüdiger ; Finkbeiner, Bernd 2013 Saarländische Universitäts- und Landesbibliothek
• Wissenschaftliches Arbeiten – ... leicht verständlich!
  Voss, Rödiger 2024 utb GmbH
• Modellierung komplexer Prozesse durch naturanaloge Verfahren – Künstliche Intelligenz und Künstliches Leben
  Klüver, Christina ; Klüver, Jürgen ; Schmidt, Jörn 2024 Springer Fachmedien Wiesbaden, Imprint: Springer Vieweg
• Modellierung komplexer Prozesse durch naturanaloge Verfahren – Künstliche Intelligenz und Künstliches Leben
  Klüver, Christina ; Klüver, Jürgen ; Schmidt, Jörn 2021 Springer Fachmedien Wiesbaden
• Modellierung – Grundlagen und formale Methoden
  Kastens, Uwe ; Kleine Büning, Hans 2021 Carl Hanser Verlag GmbH & Co. KG
• Wissenschaftliches Arbeiten
  Voss, Rödiger 2018 UTB GmbH
• Wissenschaftliches Arbeiten
  Voss, Rödiger 2017 UTB GmbH