Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verif
62,05 €
Titel: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Untertitel: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, Einband: Taschenbuch, Autor: Simon Collart-Dutilleul, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 320, Maße: 235x155x18 mm, Gewicht: 487 g, Verkäufer: buch-mimpf, Schlagworte: Algorithm analysis and problem complexity Certification Data Security Event-B Railway Signaling Software Engineering Software Evaluation Specifications assurance dependablity formal logic formal methods interlocking model-checking reliability safety security validation verification.
Jetzt bei Ebay:
