On the Construction of Engineering Handbooks with an Illustration from the Railway Safety Domain

I Part I : Background -- 1Introduction and Motivation -- 2Related Work -- Part II : Analysis -- 3A General Method for Composing an Engineering HB -- 4Application of the General Method to the Railway Domain -- Part III : Synthesis -- 5Example HB Entry of a Formal Method for the Railway Domain - Step...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Gruner, Stefan (VerfasserIn)
Weitere Verfasser:	Kumar, Apurva (VerfasserIn), Maibaum, Tom (VerfasserIn), Roggenbach, Markus (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	SpringerBriefs in Computer Science
Schlagworte:	Software engineering. > Management information systems. > Computer science. > Computers. > Law and legislation. > Transportation engineering. > Traffic engineering.
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!