Hochschulschrift

Verhaltensgarantien in selbst-organisierenden Systemen

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783832532468
3832532463
Maße
24 cm
Umfang
XX, 258 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Zugl.: Augsburg, Univ., Diss., 2012

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

Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Logos-Verl.
(wann)
2012
Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:03 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2012

Ähnliche Objekte (12)