Neural Network Verification
Modeling, Validation and Verification of Digital Twins
Incorrectness Logic
Modeling, Validation and Verification of Digital Twins
Incorrectness Logic
- Dozent/in: Ruth Schorr
Kursbereich: M.Sc. High Integrity Systems
campUAS
Suchergebnisse: 7742
- Dozent/in: Ruth Schorr
Kursbereich: Informatik Studiengänge
Modelling of Concurrent Systems with PROMELA
This course focuses on the modeling of reactive concurrent systems using finite state machines. Finite state machines are used for model checking which is a prominent verification technique that has emerged in the last thirty years. Model checking checks whether a model of a given system (specified using transition systems) satisfies properties such as deadlock freedom, invariants or starvation freedom. SPIN is a model checker used to teach concurrency and is applied in industry. PROMELA is the language used for writing system models in SPIN. The SPIN tool has been used for verifying a broad range of different systems in industry like operating systems, communication systems and railway signaling systems.
- Dozent/in: Ruth Schorr
Kursbereich: Informatik Studiengänge
- Dozent/in: Ruth Schorr
Kursbereich: M.Sc. High Integrity Systems
- Dozent/in: Ruth Schorr
Kursbereich: Informatik Studiengänge
Entwicklung einer plattformübergreifenden App für die FinTech-Branche mit Hilfe von Flutter
- Dozent/in: Ruth Schorr
Kursbereich: B.Sc. Informatik
- Dozent/in: Katja von Auer
- Dozent/in: Kathrin Schrader
- Dozent/in: Beatrix Schwarzer
Kursbereich: Soziale Arbeit Bachelor – Studiengänge
- Dozent/in: Kathrin Schrader
Kursbereich: Soziale Arbeit Bachelor – Studiengänge
- Dozent/in: Kathrin Schrader
- Dozent/in: Anne Stiebritz
Kursbereich: Soziale Arbeit Bachelor – Studiengänge
- Dozent/in: Sarah Elsuni
- Dozent/in: Beatrice Müller-Kannankulam
- Dozent/in: Kathrin Schrader
Kursbereich: Soziale Arbeit Bachelor – Studiengänge
- Dozent/in: Beate Becker
- Dozent/in: Elena Böhringer
- Dozent/in: Verena Demiröz
- Dozent/in: Samuel Do
- Dozent/in: Ioannis Giagkos
- Dozent/in: Niklas Wladimir Hindrichs
- Dozent/in: Fatima Kamboua
- Dozent/in: Fatima Kamboua
- Dozent/in: Manager Bernhard Karakoulakis
- Dozent/in: Zala Khalili
- Dozent/in: Carmen Kuhn
- Dozent/in: Hannah Lachenmaier
- Dozent/in: Corina Maier
- Dozent/in: Ursula Ondrey
- Dozent/in: Ursula Ondrey
- Dozent/in: Yasmin Rioux
- Dozent/in: Amata Schneider-Ludorff
- Dozent/in: Maja Victoria Seiffermann
- Dozent/in: Maja Viktoria Seiffermann
- Dozent/in: Svitlana Spiian
- Dozent/in: Svitlana Spiian
- Dozent/in: Georgina Urzowski
- Dozent/in: Sophia Zoeller
- Dozent/in: Sophia Franziska Zoeller
Kursbereich: Verschiedenes
Dieser Kurs bietet ein Schreibberatungstraining für neue und angehende Schreibberaterinnen und Schreibberater an der Schreib- und Methodenwerkstatt der Frankfurt University of Applied Sciences. Der Kurs umfasst 12 Themen, die in circa 6 Wochen absolviert werden, und er orientiert sich an den Richtlinien des GefSuS-„Rahmenkonzepts für Ausbildungen von Peer-Schreibtutor*innen“.
- Dozent/in: Verena Demiröz
- Dozent/in: Yasmin Rioux
Kursbereich: Weiterbildung
Der Online-Kurs mit Austauschformaten und Materialien für die Schreibberatungsausbildung
- Dozent/in: Verena Demiröz
- Dozent/in: Yasmin Rioux
- Dozent/in: Amata Schneider-Ludorff
Kursbereich: Fachsprachenzentrum
- Dozent/in: Nils Schröder
Kursbereich: Wirtschaftsrecht
Sehr geehrte Studenten/innen,
bald beginnt Ihr WS2022/2023 und damit startet Ihr Kurs "Emissionsminderung im Energiemarkt".
Die erste Vorlesung findet am Donnerstag, den 27.10.2022 statt und zwar in der Zeit von 16:00 bis 19:15. Die Vorlesungen finden jeweils Donnerstag in dieser Zeit statt und sind als Präsenzveranstaltung geplant. Die Raumplanung war zum Zeitpunkt dieser Nachricht noch nicht abgeschlossen. Bitte entnehmen Sie diese den Nachrichten des Studiengangsekretariat.
Ich wünsche allen Teilnehmern/innen viel Erfolg und freue mich, Sie am 27.10.2022 begrüßen zu dürfen!
Sabine Schröder
- Dozent/in: Sabine Schröder
Kursbereich: B.Eng. Elektrotechnik und Informationstechnik
- Dozent/in: Nils Schröder
Kursbereich: Fachbereich 3 Wirtschaft und Recht
- Dozent/in: Nils Schröder
Kursbereich: Fachbereich 3 Wirtschaft und Recht