Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » aud » Forendiskussionen (Übersicht)
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | |||
pruefungen:bachelor:aud:loesungws12 [25.03.2015 18:08] – bor1 | pruefungen:bachelor:aud:loesungws12 [28.03.2022 08:00] (aktuell) – Warnung vor Quatsch BobbyB | ||
---|---|---|---|
Zeile 300: | Zeile 300: | ||
Dia-Sourcefile für etwaige Korrekturen: | Dia-Sourcefile für etwaige Korrekturen: | ||
+ | |||
+ | Vorsicht, dieses Diagramm ist falsch. Erstens müssen bremsanlage und tasten nicht mit in Kabinensteuerung, | ||
==== Aufgabe 9 - Formale Verifikation ==== | ==== Aufgabe 9 - Formale Verifikation ==== |