Titel :

Verification of Scheme Plans Using CSP||B

Beteiligte:

James, P. (Autor:in) / Moller, F. (Autor:in) / Nguyen, H.N. (Autor:in) / Roggenbach, M. (Autor:in) / Schneider, S. (Autor:in) / Treharne, H. (Autor:in) / Trumble, M. (Autor:in) / Williams, D. (Autor:in)

Kongress:

Workshop, Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 2013 ; Madrid

Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 8368 ; 189-204

LECTURE NOTES IN COMPUTER SCIENCE ; 8368

Erscheinungsdatum :

2014-01-01

Format / Umfang :

16 pages

Anmerkungen:

Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).

ISSN :

0302-9743

Medientyp :

Aufsatz (Konferenz)

Format :

Print

Sprache :

Englisch

Schlagwörter :

FM-RAIL-BOK , Railway control , Safety systems , Software engineering , Formal methods , SEFM

© Metadata Copyright the British Library Board and other contributors. All rights reserved.