[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Model-Driven Availability Evaluation of Railway Control Systems
โ Scribed by Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria
- Book ID
- 120556611
- Publisher
- Springer Berlin Heidelberg
- Year
- 2011
- Weight
- 373 KB
- Category
- Article
- ISBN
- 3642242707
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and researc
This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and researc
Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ag