fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Boulanger

Safety of Software-based Systems

Medium: Buch
ISBN: 978-1-84821-414-9
Verlag: ISTE Ltd and John Wiley & Sons Inc
Erscheinungstermin: 04.05.2020
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

Lieferung vom Verlag mit leichten Qualitätsmängeln möglich

Produkteigenschaften

  • Artikelnummer: 9781848214149
  • Medium: Buch
  • ISBN: 978-1-84821-414-9
  • Verlag: ISTE Ltd and John Wiley & Sons Inc
  • Erscheinungstermin: 04.05.2020
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 2020
  • Serie: ISTE
  • Produktform: Gebunden
  • Gewicht: 590 g
  • Seiten: 504
  • Format (B x H x T): 150 x 250 x 22 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Autoren

1. Introduction

2. A new approach and human story in the railway domain

3. Presentation of the formal methods used for develop and validate the SAET-METEOR

4. Proof of global properties with the Simulink design verifier tools

5. Safety demonstration for an interlocking application in normal and degraded mode by formal proof

6. Formal proof used on a CBTC

7. Railway safety critical application validated with petri-nets

8. Synthetises and conclusion

9. Glossary

10. index