Programming Languages for Safety-Critical Systems

Bibliographic Details
Title: Programming Languages for Safety-Critical Systems
Authors: Zouev, EugeneAff4
Contributors: Schagaev, IgorAff1, Zouev, EugeneAff2, Thomas, KaegiAff3
Source: Software Design for Resilient Computer Systems. :165-175
Database: Springer Nature eBooks
Description
ISBN:9783030212438
9783030212445
DOI:10.1007/978-3-030-21244-5_11