Scade
Language and Applications
The SCADE tool has been used from many years for the development of safety critical software in the nuclear, aeronautics and railways sectors. The language supported by this tool is also called SCADE and is based on the formal language LUSTRE. In this book, the authors present the SCADE language (syntax and semantics) along with some examples of use. Within the field of aeronautics, the SCADE tool is used by both Boeing and Airbus. In the railways sector, all the major companies throughout the world have used this tool. There are currently no books that present the SCADE language and tool, and thus this book will be the first to tackle this s…
Mehr
CHF 205.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Fornari, Francois-Xavier (Hrsg.) / Camus, Jean-Louis (Hrsg.) / Dion, Bernard A. (Hrsg.)
- ISBN: 978-1-84821-557-3
- EAN: 9781848215573
- Produktnummer: 23081276
- Verlag: ISTE Ltd and John Wiley & Sons Inc
- Sprache: Englisch
- Erscheinungsjahr: 2015
- Seitenangabe: 304 S.
- Masse: H25.0 cm x B15.0 cm x D0.0 cm
- Sonstiges: Professional & Vocational
18 weitere Werke von Jean-Louis (Hrsg.) Boulanger:
Formal Methods Applied to Industrial Complex Systems
Language and Applications
Language and Applications
Ebook (PDF Format)
CHF 170.00
Formal Methods Applied to Industrial Complex Systems
Language and Applications
Language and Applications
Ebook (EPUB Format)
CHF 170.00
Bewertungen
Anmelden