Report on the RS3 Topic Workshop "Security Properties in Software Engineering"

  • This report is a compilation of the results of a topic workshop on 'Security Properties in Software Engineering' as part of the DFG priority programme 1496 'Reliably Secure Software Systems'.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Martin Ochoa, Sebastian Pape, Thomas Ruhroth, Barbara Sprick, Kurt StenzelGND, Henning Sudbrock
URN:urn:nbn:de:bvb:384-opus4-12741
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/1608
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2012-02)
Type:Report
Language:English
Publishing Institution:Universität Augsburg
Contributing Corporation:TU Darmstadt, Dortmund University
Release Date:2012/02/02
Tag:computer science; formal methods
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht

OPUS4 Logo