• Skip to navigation (Press Enter).
  • Skip to main content (Press Enter).
...
[X]
A – Z

Sprachen

  • Deutsch
  • English
Universitätsbibliothek
Technische Universität München TUM Logo
Menu
  • Startseite
  • So erreichen Sie uns
    • First Level Hotline
    • Ansprechpersonen
    • Öffnungszeiten
    • Teilbibliotheken
    • Barrierefreiheit
    • Feedback
    • Aktuelles
  • Suchen & Finden
    • OPAC
    • Datenbanken
    • E-Journals
    • E-Books
    • Normen
    • Hochschulschriften
    • mediaTUM
    • Erwerbungsvorschlag
    • Signaturen & Systematik
    • Apps & Tools
      • eAccess
      • Shibboleth
      • Linkresolver SFX
      • Weitere Apps & Tools
  • Ausleihen & Bestellen
    • Bibliotheksausweis
    • Bibliothekskonto
    • Bestellen & Vormerken
    • Abholen & Ausleihen
    • Verlängern & Zurückgeben
    • Dokumentlieferung & Fernleihe
      • Fernleihe
      • dokumenTUM
      • Digitalisierung on Demand
      • TIB-Dokumentlieferung
      • subito
    • Erwerbungsvorschlag
  • Studieren & Forschen
    • Forschungsdaten
      • TUM DataTagger
      • TUM Workbench
    • Bibliotheksführungen
    • Kurse & E-Learning
      • Kalender
      • Kurse & Sprechstunden
      • Powertag
      • E-Tutorials
    • Lehrbuchsammlungen
    • Semesterapparate
    • Lernräume & Ausstattung
      • Auslastungsanzeige
      • Lernplätze
      • Gruppenräume
      • Study Carrels
      • Webinar Carrels
      • Presentation Lab
      • Computer & Internet
      • Schließfächer
      • Scannen
  • Publizieren & Zitieren
    • Open Access
      • Open-Access-Strategie
      • Vereinbarungen mit Verlagen
      • Publikationsfonds
      • Zweitveröffentlichung
      • Unseriöse Zeitschriften & Scheinkonferenzen
    • TUM.University Press
      • Verlagsprogramm
      • Buch publizieren
      • Dissertation publizieren
      • Journal publizieren
    • Hochschulschriften publizieren
      • Abschlussarbeiten
      • Dissertationen
      • Habilitationsschriften
    • Hochschulbibliographie
    • Literaturverwaltung
      • Citavi
      • EndNote
      • Zotero
    • Zitieren
    • Bibliometrie
  • Über die Bibliothek
    • Organisation
      • Organigramm
      • Bibliothekspersonal
    • Bibliotheksprofil
      • Leitbild
      • Qualitätsmanagement
      • Kooperationen & Mitgliedschaften
      • Jahresberichte
      • Aktuelles
    • Ordnungen & Gebühren
      • Preise & Gebühren
      • Bibliotheksordnung
      • Hausordnung
      • Benutzungsordnungen
      • Gesetzliche Grundlagen
      • Erwerbungsrichtlinien
      • Vergebene Aufträge
    • Aus- und Fortbildung
      • Bibliothekarische Ausbildung
    • Fachveranstaltungen
    • Karriere
      • Was wir bieten
      • Stellenangebote
  • Startseite
  • So erreichen Sie uns
  • Suchen & Finden
  • Ausleihen & Bestellen
  • Studieren & Forschen
  • Publizieren & Zitieren
  • Über die Bibliothek

Kontakt

TUM.University Press
tumuniversitypress@tum.de
Team
chat loading...

Zurück zum gesamten Verlagsprogramm

TUM.University Press Cover

Post-proceedings of the Summer School Marktoberdorf: Safety and Security of Software Systems - Logics, Proofs, Applications

Herausgeber: Helmut Seidl
Details
Programmbereich: TUM.UP-RESEARCH
Fachgebiet: Informatik
Sprache: Englisch
ISBN: 9783958840447
Erscheinungsdatum: Oktober 2020
1. Auflage
Umfang: 198 Seiten
Format: DIN A4
Preis Printausgabe: 30,00 €
Printausgabe bestellen: Hugendubel, Lehmanns
Über dieses Buch

Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs affecting millions of people and making the headlines almost daily.
The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of safe and secure systems.  This book collects papers related to the tutorials delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2019 on „Safety and Security of Software Systems: Logics, Proofs, Applications“. The lectures presented results obtained by leading research groups in the field. The subjects covered, include online verification of autonomous systems, population protocols, stochastic model checking, and differential privacy.
The Marktoberdorf Summer School is one of the most renowned international computer science summer schools. This book with its detailed overview of current research results, will be of interest to all those who are concerned with solving intricate safety and security problems in the design and implementation of systems.

  • Kontakt
  • Bildnachweis
  • Barrierefreiheit
  • Datenschutz
  • Impressum