Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Osteraktion: Bis zum 30.4.2025 von 20% Rabatt auf folgende Produkte profitieren. Code: NEST25
Formal Methods for Multi-Agent Feedback Control Systems

Formal Methods for Multi-Agent Feedback Control Systems

Inhalt

"This book will be the first to bridge the gap between the field of formal methods and safety-critical control in cyber-physical systems"--

Bibliografische Angaben

April 2025, Englisch
University Presses
978-0-262-04971-9

Schlagworte

Weitere Titel zum Thema