๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain

โœ Scribed by Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria


Book ID
120518974
Publisher
Springer Berlin Heidelberg
Year
2011
Weight
290 KB
Category
Article
ISBN
3642242707

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


[Lecture Notes of the Institute for Comp
โœ Singh, Karan; Awasthi, Amit K. ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 313 KB

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2013, which was held in National Capital Region (NCR) of India during January 2013. The 87 revised full

[Lecture Notes of the Institute for Comp
โœ Zhang, Xi; Qiao, Daji ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 412 KB

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010. The 37 revised full papers presented along with 7 papers from the allocated Dedicated Short Range