Formal methods for discrete-time dynamical systems

Bibliographische Detailangaben

1. Verfasser:	Belta, Calin (VerfasserIn)
Weitere Verfasser:	Yordanov, Boyan (VerfasserIn), Gol, Ebru Aydin (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2017
Schriftenreihe:	Studies in systems, decision and control Volume 89
Schlagworte:
Online Zugang:	Inhaltsverzeichnis Full Text Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!