Formal Methods for Safety and Security: Case Studies for Aerospace Applications (Bog, Paperback / softback, 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, Paperback / softback, Engelsk)
Formal Methods for Safety and Security: Case Studies for Aerospace Applications
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 Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2018
Udgivelsesdato 04-01-2019
Første udgivelsesår 2019
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 Paperback / softback
Forlag Springer Verlag, Singapore
Sideoplysninger 132 pages, 24 Illustrations, color; 18 Illustrations, black and white; XII, 132 p. 42 illus., 24 ill
Mål 235 x 155
ISBN-13 / EAN-13 9789811350542