Yazar
Thierry Lecomte
3 cilt bulundu.
Cilt sonuçları
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Thierry Lecomte, Ralf Pinger, Alexander Romanovsky · Springer London, Limited
283 sayfa · 2016
Reliability (engineering) / Railroads, safety appliances
Formal Methods : Foundations and Applications
Leila Ribeiro, Thierry Lecomte · Springer International Publishing AG
253 sayfa · 2016
Computer software, development