ترجمه فارسی عنوان مقاله
مبدل CAP جاوا کارت در PVS
عنوان انگلیسی
A Java Card CAP converter in PVS
کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
---|---|---|
17238 | 2004 | 17 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : Electronic Notes in Theoretical Computer Science, Volume 82, Issue 2, April 2004, Pages 426–442
ترجمه کلمات کلیدی
کارت جاوا - مبدل -
کلمات کلیدی انگلیسی
Java Card,converter,