Sûreté des systèmes matériels: Vérification formelle, compositionnelle et automatique de systèmes de composants

Ein umfassendes Handbuch, das die mathematisch fundierte Analyse von Hardwaredesigns beleuchtet, neue Techniken zur Kompositionsprüfung vorstellt und praxisorientierte Beispiele für die Verifikation komplexer Systemkomponenten liefert.

Teilen: