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

Languages

  • Deutsch
  • English
University Library
Technical University Munich TUM logo
Menü
  • Home
  • Get in Contact
    • First Level Hotline
    • Contact Persons
    • Opening Hours
    • Branch Libraries
    • Accessibility
    • News
  • Searching & Finding
    • OPAC
    • Databases
    • E-Journals
    • E-Books
    • Standards
    • Theses
    • mediaTUM
    • Recommend a Purchase
    • Shelfmarks & Classification
    • Apps & Tools
      • eAccess
      • Shibboleth
      • Link Resolver SFX
      • Further Apps & Tools
  • Borrowing & Ordering
    • Library Card
    • Library Account
    • Ordering & Reserving
    • Check-out & Borrowing
    • Renewing & Returning
    • Document Delivery & Interlibrary Loan
      • Interlibrary Loan
      • dokumenTUM
      • Digitisation on Demand
      • TIB Document Delivery
      • subito
  • Studying & Researching
    • Research Data
      • TUM DataTagger
      • TUM Workbench
    • Library Tours
    • Courses & E-Learning
      • Calendar
      • Courses & Consultations
      • Powerday
      • E-Tutorials
    • Textbook Collections
    • Course Reserves
    • Study Areas & Facilities
      • Occupancy Indicator
      • Study Desks
      • Group Rooms
      • Study Carrels
      • Webinar Carrels
      • Presentation Lab
      • Computers & Internet
      • Lockers
      • Scanning
  • Publishing & Citing
    • Open Access
      • Open Access Strategy
      • Agreements with Publishers
      • Publication Fund
      • Self-Archiving
      • Predatory Journals & Conferences
    • TUM.University Press
      • Publishing Portfolio
      • Book Publishing
      • Doctoral Thesis Publishing
      • Journal Publishing
    • Publishing
      • B.A. & M.A. Theses
      • Doctoral Theses
      • Habilitation Theses
    • University Bibliography
    • Reference Management
      • Citavi
      • EndNote
      • Zotero
    • Citing
    • Bibliometrics
  • About the Library
    • Organisation
      • Organigram
      • Library Staff
    • Library Profile
      • Mission Statement
      • Quality Management
      • Cooperations & Memberships
      • Annual Reports
      • News
    • Regulations & Fees
      • Prices & Fees
      • Library Rules
      • House Rules
      • Library Regulations
      • Legal Framework
      • Acquisition Guidelines
      • Awarded Contracts
    • Staff Training
      • Library Vocational Training
    • Library Events
    • Careers
      • What we offer
      • Staff Vacancies
  • Home
  • Get in Contact
  • Searching & Finding
  • Borrowing & Ordering
  • Studying & Researching
  • Publishing & Citing
  • About the Library

University Library

First Level Hotline
Phone +49 89 189 659 220
information@ub.tum.de

Contact

TUM.University Press
tumuniversitypress@tum.de
Team
chat loading...
eAccess
OPAC
Courses
Opening Hours
Branch Libraries
Study Desk Reservation
Ask us

News

07. May 2025 – Branch Main Campus
Presentation Lab reopened on 5 May 2025
06. May 2025 – Branch Mathematics & Informatics
Branch Library Mathematics & Informatics to close early on 15.5.2025
05. May 2025 – Branch Main Campus
Branch Library Main Campus Closes Earlier on 8 and 9 May 2025
View all
Subscribe to RSS

Back to Publishing Portfolio

TUM.University Press Cover

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

Editor: Helmut Seidl
Details
Editorial Program: TUM.UP-RESEARCH
Subject: Informatik
Language: Englisch
ISBN: 9783958840447
Publication date: October 2020
1. Auflage
Description: 198 pages
Format: DIN A4
Price (print): 30,00 €
Order print copy: Hugendubel, Lehmanns
About this book

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.

  • Contact
  • Picture Credits
  • Accessibility
  • Data Privacy
  • Legal Notice