Zu "Verifikation" wurden 54 Produkte gefunden
HOME
Verhaltensentscheidung für automatisierte Fahrzeuge mittels Arbitrationsgraphen
43,00 €*
Preise inkl. MwSt. zzgl. Versandkosten
Modellbildung, Wissensrevision und Wissensrepräsentation im Maschinellen Lernen
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Automatic Verification Methods for Finite State Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
Semantische Repräsentation komplexer Objektstrukturen
54,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
Speichereffizienter Aufbau von binären Entscheidungsdiagrammen
59,99 €*
Preise inkl. MwSt. zzgl. Versandkosten