
Formal Methods Applied to Complex Systems
Jean-Louis Boulanger - Hardback
£174.95
Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.