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

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Peter Fischer, Florian Nafz, Hella SeebachGND, Wolfgang ReifGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/55406
ISBN:9781450307369OPAC
Parent Title (English):Proceedings of the 2011 workshop on Organic computing - OC '11, Karlsruhe, Germany, June 18 - 18, 2011
Publisher:ACM Press
Place of publication:New York, NY
Editor:Christian Müller-Schloer, Hartmut Schmeck, Theo UngererORCiDGND
Type:Part of a Book
Language:English
Year of first Publication:2011
Release Date:2019/06/06
First Page:3
Last Page:12
DOI:https://doi.org/10.1145/1998642.1998646
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik