A vasúti rendszerek megbízhatósága, biztonsága és védelme. Modellezés, elemzés, ellenőrzés és tanúsítás: Nemzetközi konferencia, Rssrail 2022.

Eredeti címe:

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, Rssrail 2022

Könyv tartalma:

Ez a könyv a 2022 júniusában, Párizsban, Franciaországban megrendezett 4.

Nemzetközi Vasúti rendszerek megbízhatósági, biztonsági és védelmi konferenciájának, az RSSRail 2022-nek a referált kiadványa. A könyvben bemutatott 16 teljes tanulmányt gondosan átnézték és számos pályázatból választották ki.

A témák széles skáláját ölelik fel, beleértve a vasúti rendszer és infrastruktúra előzetes modellezését ütemezés és pályatervezés biztonsági folyamat és validálás modellezés formális verifikáció és biztonság.