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

The search result changed since you submitted your search request. Documents might be displayed in a different sort order.

Metadaten
Author:	Peter Fischer, Florian Nafz, Hella Seebach ORCiD GND, Wolfgang Reif ORCiD GND
Frontdoor URL	https://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 UngererORCiD GND
Type:	Part of a Book
Language:	English
Year of first Publication:	2011
Publishing Institution:	Universität Augsburg
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

Open Access