عضویت     ورود  فروتنی در برابر گردنکشان اشتباهی بزرگ است . چرا که این کار آنها را گستاختر و بی پرواتر می نماید . ارد بزرگ يكشنبه، 4 فروردين ماه ، 1398

کانال تلگرام


تبلیغات متنی


منوی سایت


جست و جو در بانك مقالات




مقالات جدید
تعداد شاخه ها: 30 عدد
تعداد مقالات: 758 عدد 1: آزمايشگاه الكترونيك - استاد محرري 
[دفعات مشاهده : 5215 بار]
 2: جزوه درس مخابرات 1 - دانشگاه فردوسي مشهد 
[دفعات مشاهده : 5285 بار]
 3: كتاب مهندسي تاسيسات / دكتر كلهر 
[دفعات مشاهده : 5177 بار]
 4: مجموع اعوجاج هارمونیک T.H.D 
[دفعات مشاهده : 5145 بار]
 5: كتاب "روش طراحي و تحليل مدارهاي الكترونيك" 
[دفعات مشاهده : 11678 بار]
 6: ادوات نوري 
[دفعات مشاهده : 5133 بار]
 7: كتاب اصول تلويزيون رنگي 
[دفعات مشاهده : 6757 بار]
 8: پروژه دزد گیر با سنسور تشخیص حرکت pir با قفل رمز الکترونیکی 
[دفعات مشاهده : 6353 بار]
 9: جزوه اندازه گیری الکتریکی 
[دفعات مشاهده : 5541 بار]
 10: سوالات کنکور کارشناسی ارشد 90 / گروه مهندسی برق 
[دفعات مشاهده : 7460 بار]
 11: آرشيو پروژه هاي 8051 
[دفعات مشاهده : 6251 بار]
 12: آرشيو پروژه هاي AVR‌ (ـ‌ 126 پروژه ) 
[دفعات مشاهده : 14027 بار]
 13: آموزش برنامه نويسي و كار با ماژول Sim300CZ با ميكروكنترلر AVR 
[دفعات مشاهده : 10220 بار]
 14: سوالات كنكور كارشناسي ناپيوسته 89 - گروه برق 
[دفعات مشاهده : 7653 بار]
 15: ارتباط میکروهای PIC با کمک پروتکل سریال I2C و نکات تکمیلی ماژول MSSP 
[دفعات مشاهده : 5773 بار]
 16: ساعت تقویم با کمک میکروکنترلر PIC و DS1307 
[دفعات مشاهده : 6345 بار]
 17: تایمرهای چند زمانه ( ساعت مرکزی ) با میکرو PIC 
[دفعات مشاهده : 5720 بار]
 18: ساعت تقویم شمسی مجهز به آلارم روزانه و هفتگی 
[دفعات مشاهده : 6697 بار]
 19: صفحه کلید وقفه ای با میکروکنترلر PIC 
[دفعات مشاهده : 5423 بار]
 20: کرنومتر دیجیتال با میکروکنترلر PIC با قابلیت ثبت 3 زمان 
[دفعات مشاهده : 5559 بار]
 21: طراحی و ساخت مدارات انتقال دیتا به وسیله ماژول های HMTR + پروژه چت متنی بیسیم 
[دفعات مشاهده : 8483 بار]
 22: سنسورهای حرارت 
[دفعات مشاهده : 7676 بار]
 23: کنترل وسایل برقی از طریق خط تلفن با میکروکنترلر PIC 
[دفعات مشاهده : 7721 بار]
 24: ارتباط سریال UART بین دو میکروکنترلر PIC 
[دفعات مشاهده : 6013 بار]
 25: گزارش کار آموزی : ماشین های ابزار کنترل عددی CNC 
[دفعات مشاهده : 6303 بار]
 26: کنترل وسایل به کمک ماژول HM-TR و میکرو AVR 
[دفعات مشاهده : 8804 بار]
 27: طراحی و ساخت کنترل از راه دور 1 کانال با کمک ماژول های ASK و آی سی های سری PT 
[دفعات مشاهده : 7269 بار]
 28: مجموعه رفرنس های آموزشی میکروکنترلرهای سری dsPIC 
[دفعات مشاهده : 6759 بار]
 29: مجموعه پروژه های میکروکنترلر AVR با کامپایلر بسکام 
[دفعات مشاهده : 11884 بار]
 30: طراحی و ساخت مدارات انتقال دیتا به وسیله ماژول های HM-T و HM-R با میکرو AVR 
[دفعات مشاهده : 9740 بار]


آخرين مطالب ارسال شده
· روش طراحي و تحليل مدارهاي الكترونيك[ 1 نظر شما چيه؟ - 39248 مشاهده ]
· اصول تلويزيون رنگي[ 0 نظر شما چيه؟ - 17895 مشاهده ]
· نرم افزار DigSilent[ 2 نظر شما چيه؟ - 21223 مشاهده ]
· AVR Tech Lib 2011[ 1 نظر شما چيه؟ - 24719 مشاهده ]
· مجموعه كنفرانس هاي سالينه ميكروچيپ / سال 2009 /[ 2 نظر شما چيه؟ - 22456 مشاهده ]
· آموزش كار با ماژول SIM300CZ با ميكرو AVR[ 4 نظر شما چيه؟ - 24790 مشاهده ]
· مجموعه فيلم هاي آموزشي نرم افزار Altium Designer[ 0 نظر شما چيه؟ - 38625 مشاهده ]
·  سوالات كنكور كارشناسي ناپيوسته 89 - گروه برق[ 0 نظر شما چيه؟ - 19730 مشاهده ]
· لينك دانلود مجله October 2010 / SERVO[ 0 نظر شما چيه؟ - 16884 مشاهده ]
· Catalog CA 01 (10/2009) / International version[ 0 نظر شما چيه؟ - 21090 مشاهده ]

[ موارد بیشتر در بخش اخبار و تازه ها ]


زبان
انتخاب زبان نمایش :



مطالب جديد
· 1: Scheduling in IEEE 802.16e Mobile WiMAX Networks: Key Issues and a Survey
· 2: IEEE Std 389™-1996 (R2007)
· 3: یادگیری مهارتهای پیچیده فردی در فوتبال روباتها با استفاده از اتوماتاهای یادگیر
· 4: PID Control System Analysis, Design, and Technology
· 5: Fault–Tolerant Master-Workers framework for MapReduce Applications
· 6: طراحي و شبيه سازي باند پايه مودم راديويي GMSK توسط نرم افزار Matlab
· 7: More Effective C++
· 8: بررسي علل گسيختگي لوله هاي ساپورتينگ بويلر يك واحد نيروگاهي
· 9: Texture based Approach for Cloud Classification using SVM
· 10: راكتور شنت MCR
· 11: A Solid-State Digital Computing System ror Electric Load Monitoring
· 12: Kalman Filtering Over a Packet-Dropping Network:A Probabilistic Perspective
· 13: On the Response and Ap roximation of Gaussian Filters
· 14: نقشه و راهنمای تعمیرات دوربین فیلمبرداری VP-L700-710-750
· 15: طراحی یک فیلتر پائین گذر به کمک الگوریتم ژنتیک و هوش جمعی و مقایسه این دو روش بهینه سازی نوین
· 16: POTENTIAL BENEFITS OF DECOUPLING THE SCOTLAND-ENGLAND NETWORK USING VSC-HVDC
· 17: کاربرد مقره های رزینی در شبکه های توزیع
· 18: the alarm sensor & security circuit cookbook
· 19: Fractional PID Controller Design based on Evolutionary Algorithms for Robust two-inertia Speed Contr
· 20: طبقه بندي اختلالات قلبي با استفاده از تبديل WAVELET و شبكة عصبي ART 2 سريع

[ آخرين مقالات ]


ارسال مقاله به سايت

 



مقالات آموزشي: Formal Analysis of STM Design with SAL Infinite Bounded Model Checker

صفحه اصلي
جديد ترين مقالات
پربازديد ترين مقالات
محبوبترين مقالات

وارد شوید برای دیدن علاقه مندی های خود

توضيح: State Transition Matrix (STM) is a flexible table-like modeling language that has been frequently used for specifying behavior of distributed systems.
نسخه: -
اضافه شده در تاريخ: 5 مهر ماه ، 1390
ارسال شده توسط: ايران ميكرو
سطح مقاله: عمومي
بازديد: 454
مشخصات مقاله
امتياز دادن

Formal Analysis of STM Design with SAL Infinite Bounded Model Checker


تهیه کننده : Weiqiang Kongt,Tomohiro Shiraishi,Yuki Mizushima

حجم فایل : 2080 KB 



برای دریافت بر روی لینک زیر کلیک کنید


<< دریافت فایل >>




پسورد مورد نیاز برای باز کردن فایل : www.ir-micro.com






منوي كاربري
 
عضویت
کلمه عبور را فراموش کرده ام

كد امنيتي:
كد امنيتي
محل تايپ كد امنيتي:
 
کاربران سایت:
امروز: 0
دیروز: 0
منتظر پذیرش: 0
مجموع: 138,806
آخرین: hsn23

بیشترین تراکم کاربری:
مهمان: 656
عضو: 0
مجموع: 656

کاربران حاضر درسایت:
مهمان: 155
عضو: 0
مجموع: 155


نظرسنجي
اطلاعات قرار داده شده در سایت به چه صورت باشد ؟؟

سوالات کنکور
مقالات کنفرانسهای دانشجویی
آموزش های کاربردی
معرفی سایت های آموزشی
نرم افزارهای تخصصی
جزوات دانشگاهی
e-book های زبان اصلی
اخبار و تازه ها



نتایج
نظرسنجی ها

تعداد آراء: 5828
نظرات : 0


پيغام كوتاه

فقط کاربران عضو حق ارسال پيغام دارند. ورود يا عضويت.


كي كجا هست ؟
 ميهمان:
01: ميهمان -> News
02: ميهمان -> News
03: ميهمان -> News
04: ميهمان -> News
05: ميهمان -> News
06: ميهمان -> News
07: ميهمان -> News
08: ميهمان -> News
09: ميهمان -> News
10: ميهمان -> Tutorials
11: ميهمان -> News
12: ميهمان -> News
13: ميهمان -> News
14: ميهمان -> News
15: ميهمان -> News
16: ميهمان -> News
17: ميهمان -> News
18: ميهمان -> News
19: ميهمان -> News
20: ميهمان -> News
21: ميهمان -> Forums
22: ميهمان -> News
23: ميهمان -> News
24: ميهمان -> News
25: ميهمان -> News
26: ميهمان -> News
27: ميهمان -> News
28: ميهمان -> News
29: ميهمان -> News
30: ميهمان -> News
31: ميهمان -> News
32: ميهمان -> News
33: ميهمان -> News
34: ميهمان -> News
35: ميهمان -> News
36: ميهمان -> News
37: ميهمان -> News
38: ميهمان -> News
39: ميهمان -> News
40: ميهمان -> News
41: ميهمان -> Forums
42: ميهمان -> News
43: ميهمان -> News
44: ميهمان -> News
45: ميهمان -> Tutorials
46: ميهمان -> News
47: ميهمان -> Search
48: ميهمان -> News
49: ميهمان -> News
50: ميهمان -> News
51: ميهمان -> News
52: ميهمان -> News
53: ميهمان -> News
54: ميهمان -> News
55: ميهمان -> News
56: ميهمان -> Forums
57: ميهمان -> News
58: ميهمان -> News
59: ميهمان -> News
60: ميهمان -> News
61: ميهمان -> News
62: ميهمان -> News
63: ميهمان -> News
64: ميهمان -> Tutorials
65: ميهمان -> News
66: ميهمان -> News
67: ميهمان -> News
68: ميهمان -> News
69: ميهمان -> Tutorials
70: ميهمان -> News
71: ميهمان -> News
72: ميهمان -> News
73: ميهمان -> News
74: ميهمان -> News
75: ميهمان -> News
76: ميهمان -> News
77: ميهمان -> News
78: ميهمان -> News
79: ميهمان -> News
80: ميهمان -> News
81: ميهمان -> News
82: ميهمان -> News
83: ميهمان -> News
84: ميهمان -> Tutorials
85: ميهمان -> News
86: ميهمان -> News
87: ميهمان -> News
88: ميهمان -> News
89: ميهمان -> Forums
90: ميهمان -> News
91: ميهمان -> Your_Account
92: ميهمان -> News
93: ميهمان -> Tutorials
94: ميهمان -> Tutorials
95: ميهمان -> Tutorials
96: ميهمان -> Tutorials
97: ميهمان -> News
98: ميهمان -> Tutorials
99: ميهمان -> Tutorials
100: ميهمان -> News
101: ميهمان -> Tutorials
102: ميهمان -> News
103: ميهمان -> News
104: ميهمان -> Tutorials
105: ميهمان -> News
106: ميهمان -> Tutorials
107: ميهمان -> News
108: ميهمان -> News
109: ميهمان -> News
110: ميهمان -> Tutorials
111: ميهمان -> Tutorials
112: ميهمان -> Tutorials
113: ميهمان -> News
114: ميهمان -> Tutorials
115: ميهمان -> Tutorials
116: ميهمان -> Tutorials
117: ميهمان -> Tutorials
118: ميهمان -> Forums
119: ميهمان -> News
120: ميهمان -> Tutorials
121: ميهمان -> News
122: ميهمان -> Search
123: ميهمان -> Forums
124: ميهمان -> Tutorials
125: ميهمان -> Forums
126: ميهمان -> News
127: ميهمان -> News
128: ميهمان -> News
129: ميهمان -> Tutorials
130: ميهمان -> Tutorials
131: ميهمان -> Tutorials
132: ميهمان -> Forums
133: ميهمان -> Tutorials
134: ميهمان -> Your_Account
135: ميهمان -> Your_Account
136: ميهمان -> Tutorials
137: ميهمان -> News
138: ميهمان -> News
139: ميهمان -> Tutorials
140: ميهمان -> News
141: ميهمان -> News
142: ميهمان -> News
143: ميهمان -> Tutorials
144: ميهمان -> News
145: ميهمان -> Tutorials
146: ميهمان -> News
147: ميهمان -> Tutorials
148: ميهمان -> News
149: ميهمان -> Tutorials
150: ميهمان -> Tutorials
151: ميهمان -> News
152: ميهمان -> Tutorials
153: ميهمان -> News
154: ميهمان -> Tutorials
155: ميهمان -> Your_Account


دريافت فايل
مجموع فايل ها: 49
مجموع شاخه ها: 3
مجموع دريافتي ها: 61948
حجم كل فايل ها: 330878.64 GB

فايل هاي جديد
01: نرم افزار كاربردي مديريت دانلود Orbit
[دفعات بازديد: 69]
02: WinRAR v4.00 Beta 7
[دفعات بازديد: 69]
03: کامپایلر بیسیک PIC Basic Pro 2.60
[دفعات بازديد: 1175]
04: شبیه ساز قدرتمند پروتئوس ، ورژن 7.6 / SP4
[دفعات بازديد: 1346]
05: CCS PCWHD v4.088 + KeyGen
[دفعات بازديد: 418]
06: Filter Solutions 2009 v12.1.4 Full + Samples
[دفعات بازديد: 626]
07: HDL Design Entry 7.2 Revision 8
[دفعات بازديد: 156]
08: Cadsoft Eagle v 5.6.0
[دفعات بازديد: 548]
09: PIC Basic Pro V 2.50
[دفعات بازديد: 1084]
10: PIC18 Simulator V 2.62 - Full
[دفعات بازديد: 396]

فايل هاي برتر
01: Oscilloscope 2.51
[Hits: 5614]
02: Electrical Calculations2
[Hits: 4100]
03: Digital-Cirsuit-Simulator
[Hits: 3268]
04: Resistor Decoder
[Hits: 3168]
05: 555 Desginer
[Hits: 2719]
06: codevision AVR 1.25.8
[Hits: 2557]
07: LCD Graphics
[Hits: 2355]
08: BIP Electronics Lab Sine Wave Generator - 3.0
[Hits: 2322]
09: BASCOM AVR 1.11.9.0
[Hits: 2299]
10: convertor
[Hits: 2144]


بخش های پر بازديد سایت


لينك هاي برتر
· 1: مرجع کنترل و ابزار دقیق
· 2: وبلاگ تخصصی الکترونیک
· 3: سایت تخصصی plc
· 4: دنیای دیجیتال و میکروکنترولر
· 5: مقالات و پروژه های الکترونیک
· 6: پروژه هاي حرفه اي الکترونيک
· 7: آموزش plc
· 8: انتشارات علوم رايانه
· 9: وبلاگ جامع مدارات الکترونيکي
· 10: bahramelectronic.tk
· 11: مطالب درسی و پروژه های رشته الکترونیک
· 12: electronic2006
· 13: Your Personal PLC Tutor - Learn PLC Programming Here. FREE
· 14: برق و الكترونيک
· 15: مقالات برق الكترونيك پي ال سي
· 16: ساعت خوش
· 17: elect.ir
· 18: تبلیغ چی
· 19: مهندسی شبکه های توزیع برق
· 20: الکترونیک برای همه
· 21: Power Electrical
· 22: سايت حسين لاچينی
· 23: سیستم مدیریت محتوای ناک پلاتیونم
· 24: وبلاگ پارسايي كه ديگر پارسا نيست
· 25: کلوب رباتیک و هوش مصنوعی
· 26: كتاب هاي الكترونيكي
· 27: لینکستان سایتهای برق
· 28: الکترونيک و کامپيوتر
· 29: ایمنی و بهداشت در برق
· 30: گروه آموزشی رشته الکترونیک سواد کوه
· 31: برق قدرت
· 32: پارسیان آگهی
· 33: گروه برق دانشگاه آزاد کرمانشاه
· 34: دانشکده فنی و اموزش عالی منتظری مشهد
· 35: دانلود جزوات مهندسی


فروشگاه تخصصی برق و الکترونیک ایران میکرو
www.iran-micro.com
PHP-Nuke Copyright © 2005 by Francisco Burzi. This is free software, and you may redistribute it under the GPL.
Powered by Platinum 7.6.b.4 v2
Powered by Platinum 7.6.b.4 v2 Persian

مدت زمان ایجاد صفحه : 0.23 ثانیه