Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

FORMS/FORMAT 2010

Name: FORMS/FORMAT 2010
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 09069321
Price: 225.39 EUR
Availability: InStock
Author: Eckehard Schnieder
ISBN: 9783642427169

Formal Methods for Automation and Safety in Railway and Automotive Systems

Eckehard Schnieder

Geza Tarnai

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 09069321

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septiembre 2014

Complexity in automation- and safety systems in railway as well as automotive applications are domin... Descripción completa

Código Libristo: 09069321

552 b

225.39 €

Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Emil Běžec Pavel Kosatík

CD de audio

8.79 €

Kaufmann/Kauffrau im E-Commerce. 2. Ausbildungsjahr: Schülerband Nadine Rosenkranz

Tapa blanda

45.09 €

Chemomechanische Modellierung der Wärmebehandlung von Stählen mit der Phasenfeldmethode Ephraim Schoof

Tapa blanda

46.29 €

Elfen Lied 11 Lynn Okamoto

Tapa blanda

10.39 €

Agriculture Intensive Et Risques Phytosanitaires Binguimalet-A

Tapa blanda

63.89 €

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups especially for safety relevant systems the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations.§Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications. Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.