Monografie

Verhaltensgarantien in selbst-organisierenden Systemen

Sprache
Deutsch
Umfang
XX, 258 S.
Anmerkungen
Zugl.: Augsburg, Univ., Diss., 2012
ISBN
978-3-8325-3246-8
Identifier
1027824935

Thema
Sicherheitskritisches System ; Selbst organisierendes System ; Organic Computing ; Spezifikationstechnik ; Verifikation ; Formale Methode ; Rekonfiguration ; Constraint-Erfüllung ; Hochschulschrift

Beteiligte Personen und Organisationen

Inhaltsverzeichnis
Rechteinformation
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
Letzte Aktualisierung
15.04.2024, 08:45 MESZ

Objekttyp

  • Monografie

Beteiligte

Ähnliche Objekte (12)