Safety specification and acceptance in ship control systems: a novel approach based on dynamic system modelling
International conference; 2nd, Marine technology ; 1997 ; Szczecin; Poland
1997-01-01
10 pages
Marine technology 2; Also known as ODRA '97
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 1997
|Petrinet-Based Specification of Safety Relevant Train Control Systems
British Library Conference Proceedings | 2000
|