Atjaunināt sīkdatņu piekrišanu

E-grāmata: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Programming and Software Engineering 9707
  • Izdošanas datums: 14-Jun-2016
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783319339511
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * š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: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, ProceedingsPalielināt
  • Formāts: PDF+DRM
  • Sērija : Programming and Software Engineering 9707
  • Izdošanas datums: 14-Jun-2016
  • Izdevniecība: Springer International Publishing AG
  • Valoda: eng
  • ISBN-13: 9783319339511
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 refereed proceedings of the First
International Conference on Reliability, Safety, and Security of Railway
Systems, RSSRail 2016, held in Paris, France, in June 2016.

The 15 revised full papers presented were carefully reviewed and
selected from 36 initial submissions. The papers cover a wide range of
topics including failure analysis, interlocking verification, formal
system specification and refinement, security analysis of ERTMS, safety
verification, formalisation of requirements, proof automation,
operational security, railway system reliability, risk assessment for
ERTMS, and verification of EN-50128 safety requirements.
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber
SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and
B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW
Integration Testing of Route-Based Interlocking System Controllers.- A Formal
Security Analysis of ERTMS Train to Trackside Protocols.- Operational
Security A Coming Evolution of Railway Operational Procedures under the IT
Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis
of Chinese Train Control System Level 3 Based on Model Checking.- Correct
Formalization of Requirement Specifications: A V-Model for Building Formal
Methods.- Static Verification of Railway Scheme and Interlocking Design
Data.- Verification of Railway Interlocking Compositional Approach with
OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing
Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning
and Machine Learning for the Enhancement of Reliability in Railway
Systems.- Applying Abstract Interpretation to Verify EN-50128 Software
Safety Requirements.- The PERF Approach for Formal Verification.- Abstract
Software Specifications and Automatic Proof of Refinement.- S3: Proving the
Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B
Thanks to Alt-Ergo.
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/97833193395112e.html
Keywords: