Formal software inspections: An industrial application of Function Tables and Event-B to software of a Wayside Train Monitoring system

Bibliographische Detailangaben

Veröffentlicht in:	Computers in railways XVII
1. Verfasser:	Eschbach, Robert (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!