Muutke küpsiste eelistusi

E-raamat: 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
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833193395112e.html
Märksõnad: