• search hit 24 of 47
Back to Result List

Runtime model-based safety analysis of self-organizing systems with S#

Download full text files

  • 53595.pdfeng
    (659KB)

    Postprint. © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Axel Habermaier, Benedikt EberhardingerORCiD, Hella SeebachORCiDGND, Johannes LeupolzORCiD, Wolfgang ReifORCiDGND
URN:urn:nbn:de:bvb:384-opus4-535953
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/53595
ISBN:9781467384391OPAC
Parent Title (English):2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 21-25 September 2015, Cambridge, MA, USA
Publisher:IEEE
Place of publication:Piscataway, NJ
Editor:Gerrit AndersGND, Jean Botev, Markus Esch
Type:Conference Proceeding
Language:English
Year of first Publication:2015
Publishing Institution:Universität Augsburg
Release Date:2019/05/21
First Page:128
Last Page:133
DOI:https://doi.org/10.1109/sasow.2015.26
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
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht