Envío gratis a todo el interior del pais a partir de los $1500  Ver más

Enviar a
Montevideo, Montevideo
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada A framework for semi-automated formalization of automotive requirements (en Inglés)
Formato
Libro Físico
Autor
Editorial
Idioma
Inglés
N° páginas
64
Encuadernación
Tapa Blanda
Dimensiones
22.9x15.2x0.4 cm
Peso
0.10 kg.
ISBN13
9783330335417
Categorías

A framework for semi-automated formalization of automotive requirements (en Inglés)

Ariel Syrko (Autor) · LAP Lambert Academic Publishing · Tapa Blanda

A framework for semi-automated formalization of automotive requirements (en Inglés) - Syrko, Ariel

Libro Nuevo Importado
Envío: 22 a 27 días háb.
$ 3.662$ 2.014
-45%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 10 unidades

$ 2.014
Llega entre el 09 Oct y el 16 Oct a Montevideo, Montevideo. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "A framework for semi-automated formalization of automotive requirements (en Inglés)"

Quantity and intricacy of features implemented in vehicle expand rapidly over past few years. Currently vision of autonomous vehicle is no longer a dream or fantasy movie, but instead a coming actuality. In order to achieve the best quality and high safety, advanced verification techniques are required. Simulink Design Verifier is a model checking tool based on formal verification, which can be effectively used to solve problems concerning error detection and testing at earlier stages of project. Transformation of requirements written in their traditional form into Simulink Design Verifier objectives directly can be time consuming as well as require knowledge of system model and the verification tool. In order to reduce time consumption and guide a user through system model and the verification tool semi-automated framework has been developed. Implementation of restricted English grammar patterns into Simulink objects supports description of patterns to engineers and reduce time consumption. Developed framework is flexible and intuitive hence can be a solution for other branches of industry, but future tests and verification are required.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes