Formal Methods for Safety and Security: Case Studies for Aerospace Applications (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Tyverialarmer og brandalarmer
  5. Astronautik
  6. Optimalisering
  7. Rumfartsteknologi og luftfartsteknologi
  8. Softwareudvikling
  9. Formal Methods for Safety and Security: Case Studies for...

Formal Methods for Safety and Security: Case Studies for Aerospace Applications

(Bog, Hardback, Engelsk)
Forlag: Springer Verlag, Singapore

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Astronautik Optimalisering Rumfartsteknologi og luftfartsteknologi Softwareudvikling Tyverialarmer og brandalarmer
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Verlag, Singapore
Type Bog
Format Hardback
Sprog Engelsk
Udgave 1st ed. 2018
Udgivelsesdato 22-11-2017
Første udgivelsesår 2017
Illustrationer 24 Illustrations, color; 18 Illustrations, black and white; XII, 132 p. 42 illus., 24 illus. in color.
Fagredaktør Manju Nanda, Yogananda Jeppu
Originalsprog Singapore
Sideantal 132
Indbinding Hardback
Forlag Springer Verlag, Singapore
Sideoplysninger 132 pages, 24 Illustrations, color; 18 Illustrations, black and white; XII, 132 p. 42 illus., 24 ill
Mål 244 x 162 x 13
ISBN-13 / EAN-13 9789811041204