A formal and pragmatic approach to engineering safety-critical rail vehicle control software .

Tools

Wasilewski, Michael and Hasselbring, Wilhelm (2011) A formal and pragmatic approach to engineering safety-critical rail vehicle control software . [Paper] In: Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik . . Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik . ; pp. 99-110 . Lecture Notes in Informatics .

[thumbnail of WasilewskiHasselbringSE2011Final.pdf]
Preview
 Text
WasilewskiHasselbringSE2011Final.pdf
Download (134kB) | Preview

Document Type: Conference or Workshop Item (Paper)
Research affiliation: Kiel University > Software Engineering
Publisher: GI
Date Deposited: 18 Feb 2012 06:05
Last Modified: 20 Sep 2012 07:46
URI: https://oceanrep.geomar.de/id/eprint/14436

Actions (login required)

View Item View Item