- Dozent/in: Christina Andersson
- Dozent/in: Ruth Schorr
Kursbereich: M.Sc. High Integrity Systems
campUAS
Suchergebnisse: 5978
- Dozent/in: Ruth Schorr
Kursbereich: Informatik Studiengänge
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
- 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: Kathrin Schrader
Kursbereich: Soziale Arbeit Bachelor – Studiengänge
- Dozent/in: Katja Auer
- Dozent/in: Kathrin Schrader
Kursbereich: Soziale Arbeit Bachelor – Studiengänge
- Dozent/in: Stephanie Edelmann-Otto
- Dozent/in: Kathrin Schrader
Kursbereich: Soziale Arbeit Bachelor – Studiengänge
Schreibwerkstatt@FSZ: für alle, die gerne schreiben oder es lernen wollen.
Wir bieten von qualifizierten Studierenden für Studierende aller Fachbereiche Unterstützung bei allen Fragen rund ums Schreiben und den Text.
In diesem Kurs erhalten Sie Zugang zu allen Angeboten und Infomaterialien, die wir für Sie erstellt haben.
- Dozent/in: Ramla Adde
- Dozent/in: Beate Becker
- Dozent/in: Verena Demiröz
- Dozent/in: Samuel Do
- Dozent/in: Ioannis Giagkos
- Dozent/in: Fatima Kamboua
- Dozent/in: Fatima Kamboua
- Dozent/in: Zala Khalili
- Dozent/in: Carmen Kuhn
- Dozent/in: Hannah Lachenmaier
- Dozent/in: Corina Maier
- 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: Fachbereichsübergreifende Angebote
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
- Dozent/in: Nils Schröder
Kursbereich: Wirtschaftsrecht
Sehr geehrte Studenten/innen,
die Termine für Ihr Seminar "Prozesse und Strukturen in Unternehmen" im SS 2025 sind festgelegt.
An den unten aufgeführten Terminen treffen wir uns jeweils um 11:45 im Raum 1-432. Das Seminar geht täglich bis 17.30.
Mi. 07.05.2025, Fr. 09.05.2025, Mi. 14.05.2025, Fr. 16.05.2025, Mi. 21.05.2025, Fr. 23.05.2025
Bitte beachten Sie das während den Vorlesungsterminen Anwesenheitspflicht besteht.
Bis dahin - für Sie eine gute und erfolgreiche Zeit und ich freue mich Sie dann zu sehen.
Sabine Schröder
- Dozent/in: Sabine Schröder
Kursbereich: B.Eng. Elektrotechnik und Informationstechnik
Sehr geehrte Studenten/innen,
unsere Lehrveranstaltung im SS 2025 startet in der zweiten Semesterwoche, d.h. ab dem 14.04.2025.
Tag, Uhrzeit und Raum wird Ihnen noch mitgeteilt.
Ich freue mich, Sie im SS 2025 begrüßen zu dürfen und bis dahin eine erfolgreiche Zeit für Sie.
Sabine Schröder
- Dozent/in: Sabine Schröder
Kursbereich: Bachelor-Studiengänge