Atjaunināt sīkdatņu piekrišanu

E-grāmata: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Edited by , Edited by , Edited by
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 14198
  • Izdošanas datums: 26-Sep-2023
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031433665
Citas grāmatas par šo tēmu:
  • Formāts - EPUB+DRM
  • Cena: 59,47 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, ProceedingsPalielināt
  • Formāts: EPUB+DRM
  • Sērija : Lecture Notes in Computer Science 14198
  • Izdošanas datums: 26-Sep-2023
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783031433665
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.

The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

Modeling for Security: Automating an Analysis of
Safety-Security Interactions for Railway Systems.- TrainSec: A Simulation
Framework for Security Modeling and Evaluation in CBTC Networks.-Tooled
approaches and Dependability of highly automated transport systems: Safety
analysis of Automatic Train Operation based on ETCS.- Remaining Useful Life
Estimation for Railway Gearbox Bearings Using Machine Learning.- Towards
Scenario-based Certification of Highly Automated Railway
Systems.- Dependability Analysis of UPS Architectures for the Italian Railway
Signaling System.- Formal methods for safety assessment: The SafeCap
Trajectory: Industry-driven Improvement of an Interlocking Verification
Tool.- A Formal Model of Train Control with AI-based Obstacle
Detection.- Integral Formal Proof : A Verification Approach Bridging the Gap
between System and Software Levels in RailwaySystems.- Automated
Compositional Verication of Interlocking Systems.- Halfway Generic
Verification of Railway Control Systems.- Formal model and visual
tooling: Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block
System.- A Tool-Chain for the Verification of Geographic Scheme Data.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830314336656e.html
Keywords: