مؤتمر
Building dependable COTS microkernel-based systems using MAFALDA
العنوان: | Building dependable COTS microkernel-based systems using MAFALDA |
---|---|
المؤلفون: | Fabre, J.-C., Rodriguez, M., Arlat, J., Sizun, J.-M. |
المصدر: | Proceedings. 2000 Pacific Rim International Symposium on Dependable Computing Dependable computing Dependable Computing, 2000. Proceedings. 2000 Pacific Rim International Symposium on. :85-92 2000 |
Relation: | Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 0769509754 9780769509754 |
---|---|
DOI: | 10.1109/PRDC.2000.897288 |