Guaranteed Verification of Dynamic Systems | Stefan Schwab | Électronique | 9783731509653 | Librairie Club

Retrait en 2 heures
Assortiment impressionnant
Paiement sécurisé
Toujours un magasin près de chez vous

Retrait gratuit dans votre magasin Club
7.000.0000 titres dans notre catalogue
Payer en toute sécurité
Toujours un magasin près de chez vous

Wishlist

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

54,45 €

+ 108 points

Livraison sous 1 à 4 semaines

Passer une commande en un clic

Payer en toute sécurité

Livraison en Belgique: 3,99 €

Livraison en magasin gratuite

Description

This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults in the verification result. The approach is based on Kaucher interval arithmetic to enclose the measurement in a bounded error sense. The developed methods are proven mathematically to provide a reliable verification for a wide class of safety critical systems.

Spécifications

Parties prenantes

Auteur(s) :

Editeur:

Contenu

Nombre de pages :: 216

Langue:: Anglais

Collection :

Tome:: n° 12

Caractéristiques

EAN:: 9783731509653

Format:: Livre broché

Dimensions :: 170 mm x 13 mm

Poids :: 530 g

Seulement chez Librairie Club

+ 108 points sur votre carte client de Librairie Club

CADEAU

à l'achat d'un Bongo à partir de 39 €

CADEAU

CONCOURS

à l'achat du nouveau Dan Brown

CONCOURS

RÉDUCTION

sur une sélection de papeterie

RÉDUCTION

Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.