Lecomte, Thierry

Vis mig kun

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Lecomte, Thierry

509,93 DKK

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Lecomte, Thierry

436,85 DKK