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

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 .

[img]
Preview
Text
WasilewskiHasselbringSE2011Final.pdf

Download (131Kb) | Preview

Document Type: Conference or Workshop Item (Paper)
Research affiliation: Kiel University > Software Engineering
Date Deposited: 18 Feb 2012 06:05
Last Modified: 20 Sep 2012 07:46
URI: http://eprints.uni-kiel.de/id/eprint/14436

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...