EUR 15,76 + Envío GRATIS
  • Precio final del producto
En stock.
Vendido y enviado por The_Book_Depository_ES.
EUR 15,76 + Envío GRATIS
¿Tienes uno para vender? Vender en Amazon
Volver atrás Ir adelante
Escuchar Reproduciendo... Interrumpido   Estás escuchando una muestra de la edición de audio Audible.
Más información
Ver las 2 imágenes

Formal Modeling and Analysis of a Preliminary Small Aircraft Transportation System (SATS) Concept (Inglés) Tapa blanda – 31 jul 2013


Ver los formatos y ediciones Ocultar otros formatos y ediciones
Precio Amazon
Nuevo desde Usado desde
Tapa blanda
EUR 15,76
EUR 15,76
click to open popover

Descripción del producto

Reseña del editor

New concepts for automating air traffic management functions at small non-towered airports raise serious safety issues associated with the software implementations and their underlying key algorithms. The criticality of such software systems necessitates that strong guarantees of the safety be developed for them. In this paper we present a formal method for modeling and verifying such systems using the PVS theorem proving system. The method is demonstrated on a preliminary concept of operation for the Small Aircraft Transportation System (SATS) project at NASA Langley.

No es necesario ningún dispositivo Kindle. Descárgate una de las apps de Kindle gratuitas para comenzar a leer libros Kindle en tu smartphone, tablet u ordenador.

  • Apple
  • Android
  • Windows Phone

Obtén la app gratuita:



Detalles del producto


Opiniones de clientes

No hay opiniones de clientes
Comparte tu opinión con otros clientes