Formal Methods for Discrete-Time Dynamical Systems
Ein Leitfaden zur formalen Analyse diskreter Zeitsysteme, der auf 267 Seiten theoretische Grundlagen mit praktischen Anwendungen verbindet und die Entwicklung robuster Steuerungsstrategien erleichtert.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
Medimops DE
24-07-2026 15:06:00
SpringerLink DE Ähnliche Produkte
Formal Methods for Safety and Security
90.94 EUR
Formal Methods for Safety and Security
142.00 EUR
