مؤتمر
Approximating Non-interference and Erasure in Rewriting Logic
العنوان: | Approximating Non-interference and Erasure in Rewriting Logic |
---|---|
المؤلفون: | Alba-Castro, Mauricio, Alpuente, Maria, Escobar, Santiago |
المصدر: | 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2010 12th International Symposium on. :124-132 Sep, 2010 |
Relation: | 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) |
قاعدة البيانات: | IEEE Xplore Digital Library |
كن أول من يترك تعليقا!