Applicable Formal Methods for Safe Industrial Products 3 contributors - Paperback £59.99 Find out more
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 3 contributors - Paperback £54.99 Find out more