کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10341171 695366 2005 5 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formal methods, techniques and tools for secure and reliable applications
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش صفحه اول مقاله
Formal methods, techniques and tools for secure and reliable applications
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computer Standards & Interfaces - Volume 27, Issue 5, June 2005, Pages 439-443
نویسندگان
,