• 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
      • 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
      • Study Desks
      • 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
      • Publishing Journals
  • About the Library
    • Organisation
      • Organigram
      • Library Staff
    • Library Profile
      • Mission Statement
      • 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
Occupancy Indicator
Ask us

News

10. Feb 2023
Citing Correctly in Study and Research
03. Feb 2023
O'Reilly database further licensed
01. Feb 2023
Carrels available for reservation again!
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, 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.

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

Jobs Feedback Presse