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...

Full description

Bibliographic Details

Published in:	Formal Methods Applied to Complex Systems: Implementation of the B Method pp. 83 - 127
Main Author:	Dolle, Daniel
Format:	Book Chapter
Language:	English
Published:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Subjects:	abstract model automatic refinement B models monitoring Siemens
ISBN:	1848217099, 9781848217096
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!