Normal view MARC view

Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (2013 : Madrid, Spain) (Meeting Name)

Number of records used in: 1

Preferred form: Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (2013 : Madrid, Spain)

Machine generated authority record.

Work cat.: (AT-ISTA): Software engineering and formal methods :