The B Method at Siemens

Siemens SAS Industry Mobility is an international center of excellence for the creation of fully automatic subway systems and is a world leader in automated urban transport systems. The classic software development cycle involves specification, design, coding, testing and maintenance phases. These d...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal Methods Applied to Complex Systems: Implementation of the B Method S. 83 - 127
1. Verfasser:	Dolle, Daniel
Format:	Buchkapitel
Sprache:	Englisch
Veröffentlicht:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Schlagworte:	abstract model automatic refinement B models monitoring Siemens
ISBN:	1848217099, 9781848217096
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!