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
06-06-2026 15:36:15
SpringerLink DE Ähnliche Produkte
Formal Methods for Safety and Security
90.94 EUR
Formal Methods for Safety and Security
128.39 EUR
