• 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
    • 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
      • Introduction
      • TUM Workbench
      • Data Management Plan
      • Publishing & Archiving
    • Library Tours
    • Courses & E-Learning
      • Calendar
      • Courses & Consultations
      • E-Tutorials
      • Themed Weeks
      • Powerday
    • Textbook Collections
    • Course Reserves
    • Study Areas & Facilities
      • Occupancy Indicator
      • Individual Study Rooms
      • Group Study Rooms
      • TUM Speaker's Corner
      • Lockers
      • Computers & Internet
      • Scanning
  • Publishing & Citing
    • Reference Management
      • Citavi
      • EndNote
    • Citing
    • Bibliometrics
    • Open Access
      • Open Access Strategy
      • Publishing Fund
      • Publisher Discounts
      • Memberships & Initiatives
      • Self-Archiving
      • Predatory Journals & Conferences
      • Creative Commons & Software Licences
      • Open Access FAQ
    • Publishing
      • B.A. & M.A. Theses
      • Doctoral Theses
      • Habilitation Theses
    • University Bibliography
    • TUM.University Press
      • Publishing Portfolio
      • For Authors
  • About the Library
    • Organisation
      • Welcome Message
      • Organigram
      • Library Staff
    • Library Profile
      • Mission Statement
      • Strategic Plan
      • Innovation Management
      • Quality Management
      • Cooperations & Memberships
      • Annual Reports
      • News
    • Regulations & Fees
      • Library Regulations
      • Legal Framework
      • Prices & Fees
      • Awarded Contracts
    • Staff Training
      • Library Vocational Training
    • Library Events
    • Careers
      • What we offer
      • Staff Vacancies
    • Projects
  • 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
FAQ Current Situation
Ask us

Corona: Current Information

Borrowing & Returning
All services fully available. Services at a glance

Study Desks
available in all branch libraries; no prior reservation or allocation of places at the circulation desk. Occupancy Indicator

Service Limitations
Reservation of carrels, group study rooms, TUM Speaker's Corner not possible.

FAQ Section

News

29. Jun 2022 – Branch Medicine
Power Shutdown on 4 July in the Branch Library Medicine
23. Jun 2022
Study desks available again
14. Jun 2022
Processing of Personal Data in Research
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
Series: PROCEEDINGS
Subject: Informatik
Sprache: Englisch
ISBN: 9783958840447
Publication date: October 2020
1. Auflage
Description: 200 pages
Format: DIN A4
Price (print): 30,00 €
Order print copy: hugendubel.info, lehmanns.de
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.

  • Picture Credits
  • Accessibility
  • Data Privacy
  • Legal Details
Find more topics on the central web site of the Technical University of Munich: www.tum.de

Jobs Feedback Presse