• Ensuring correct self-reconfig...
  • Inhaltsangabe

Treffer: Ensuring correct self-reconfiguration in safety-critical applications by verified result checking

Titel:
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking / Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif ; Herausgeber: Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer
Verantwortlich:
Fischer, Peter (Verfasser); Nafz, Florian (Verfasser); Seebach, Hella (Verfasser) ; Reif, Wolfgang (Verfasser) ; Müller-Schloer, Christian (Herausgeber); Schmeck, Hartmut (Herausgeber); Ungerer, Theo (Herausgeber) 
Veröffent­licht:
Augsburg : Universität Augsburg, 2011
New York ; NY : ACM Press, 2011
Umfang:
1 Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Anmerkungen:
In: OC '11: proceedings of the 2011 Workshop on Organic Computing, Karlsruhe, Germany, June 18, 2011, S. 3-12
DOI:
10.1145/1998642.1998646

Zusatz-Informationen

Zusatz-Funktionen