4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
4.1 Wozu formale <strong>Methoden</strong>?<br />
ST II<br />
Anwendungsbereiche<br />
– Kernkraftwerke<br />
– Verkehr/Transport<br />
Eisenbahnwesen, insbesondere Signaltechnik<br />
Flugzeugsteuerung, Flugverkehrslenkung<br />
Kraftfahrzeug: elektronische Motorregelung, ABS<br />
– Medizintechnik<br />
– Telekommunikation<br />
– Hardware: Prozessordesign<br />
© 2013 IAS, Universität Stuttgart 167