دورية أكاديمية
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 |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 09259856 15728102 |
|---|---|
| DOI: | 10.1007/s10703-020-00344-2 |