دورية أكاديمية
Model checking boot code from AWS data centers
العنوان: | Model checking boot code from AWS data centers |
---|---|
المؤلفون: | Cook, ByronAff1, Aff2, Khazem, KareemAff1, Aff2, Kroening, Daniel, Tasiran, Serdar, Tautschnig, MichaelAff1, Aff4, Tuttle, Mark R. |
المصدر: | Formal Methods in System Design: An International Journal. 57(1):34-52 |
قاعدة البيانات: | Springer Nature Journals |
كن أول من يترك تعليقا!