عضویت     ورود  بدبخت کسی است که نمی تواند ناراستی خویش را درست کند . ارد بزرگ شنبه، 2 تير ماه ، 1397

کانال تلگرام


تبلیغات متنی


منوی سایت


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




مقالات جدید
تعداد شاخه ها: 30 عدد
تعداد مقالات: 758 عدد 1: آزمايشگاه الكترونيك - استاد محرري 
[دفعات مشاهده : 4576 بار]
 2: جزوه درس مخابرات 1 - دانشگاه فردوسي مشهد 
[دفعات مشاهده : 4527 بار]
 3: كتاب مهندسي تاسيسات / دكتر كلهر 
[دفعات مشاهده : 4563 بار]
 4: مجموع اعوجاج هارمونیک T.H.D 
[دفعات مشاهده : 4504 بار]
 5: كتاب "روش طراحي و تحليل مدارهاي الكترونيك" 
[دفعات مشاهده : 10918 بار]
 6: ادوات نوري 
[دفعات مشاهده : 4627 بار]
 7: كتاب اصول تلويزيون رنگي 
[دفعات مشاهده : 6157 بار]
 8: پروژه دزد گیر با سنسور تشخیص حرکت pir با قفل رمز الکترونیکی 
[دفعات مشاهده : 5791 بار]
 9: جزوه اندازه گیری الکتریکی 
[دفعات مشاهده : 4916 بار]
 10: سوالات کنکور کارشناسی ارشد 90 / گروه مهندسی برق 
[دفعات مشاهده : 6886 بار]
 11: آرشيو پروژه هاي 8051 
[دفعات مشاهده : 5588 بار]
 12: آرشيو پروژه هاي AVR‌ (ـ‌ 126 پروژه ) 
[دفعات مشاهده : 13339 بار]
 13: آموزش برنامه نويسي و كار با ماژول Sim300CZ با ميكروكنترلر AVR 
[دفعات مشاهده : 9643 بار]
 14: سوالات كنكور كارشناسي ناپيوسته 89 - گروه برق 
[دفعات مشاهده : 7021 بار]
 15: ارتباط میکروهای PIC با کمک پروتکل سریال I2C و نکات تکمیلی ماژول MSSP 
[دفعات مشاهده : 5186 بار]
 16: ساعت تقویم با کمک میکروکنترلر PIC و DS1307 
[دفعات مشاهده : 5751 بار]
 17: تایمرهای چند زمانه ( ساعت مرکزی ) با میکرو PIC 
[دفعات مشاهده : 5221 بار]
 18: ساعت تقویم شمسی مجهز به آلارم روزانه و هفتگی 
[دفعات مشاهده : 6171 بار]
 19: صفحه کلید وقفه ای با میکروکنترلر PIC 
[دفعات مشاهده : 4857 بار]
 20: کرنومتر دیجیتال با میکروکنترلر PIC با قابلیت ثبت 3 زمان 
[دفعات مشاهده : 5011 بار]
 21: طراحی و ساخت مدارات انتقال دیتا به وسیله ماژول های HMTR + پروژه چت متنی بیسیم 
[دفعات مشاهده : 7785 بار]
 22: سنسورهای حرارت 
[دفعات مشاهده : 7178 بار]
 23: کنترل وسایل برقی از طریق خط تلفن با میکروکنترلر PIC 
[دفعات مشاهده : 7154 بار]
 24: ارتباط سریال UART بین دو میکروکنترلر PIC 
[دفعات مشاهده : 5425 بار]
 25: گزارش کار آموزی : ماشین های ابزار کنترل عددی CNC 
[دفعات مشاهده : 5674 بار]
 26: کنترل وسایل به کمک ماژول HM-TR و میکرو AVR 
[دفعات مشاهده : 8107 بار]
 27: طراحی و ساخت کنترل از راه دور 1 کانال با کمک ماژول های ASK و آی سی های سری PT 
[دفعات مشاهده : 6715 بار]
 28: مجموعه رفرنس های آموزشی میکروکنترلرهای سری dsPIC 
[دفعات مشاهده : 6200 بار]
 29: مجموعه پروژه های میکروکنترلر AVR با کامپایلر بسکام 
[دفعات مشاهده : 11317 بار]
 30: طراحی و ساخت مدارات انتقال دیتا به وسیله ماژول های HM-T و HM-R با میکرو AVR 
[دفعات مشاهده : 9230 بار]


آخرين مطالب ارسال شده
· روش طراحي و تحليل مدارهاي الكترونيك[ 1 نظر شما چيه؟ - 38556 مشاهده ]
· اصول تلويزيون رنگي[ 0 نظر شما چيه؟ - 17340 مشاهده ]
· نرم افزار DigSilent[ 2 نظر شما چيه؟ - 20701 مشاهده ]
· AVR Tech Lib 2011[ 1 نظر شما چيه؟ - 24191 مشاهده ]
· مجموعه كنفرانس هاي سالينه ميكروچيپ / سال 2009 /[ 2 نظر شما چيه؟ - 21857 مشاهده ]
· آموزش كار با ماژول SIM300CZ با ميكرو AVR[ 4 نظر شما چيه؟ - 24263 مشاهده ]
· مجموعه فيلم هاي آموزشي نرم افزار Altium Designer[ 0 نظر شما چيه؟ - 37368 مشاهده ]
·  سوالات كنكور كارشناسي ناپيوسته 89 - گروه برق[ 0 نظر شما چيه؟ - 19139 مشاهده ]
· لينك دانلود مجله October 2010 / SERVO[ 0 نظر شما چيه؟ - 16393 مشاهده ]
· Catalog CA 01 (10/2009) / International version[ 0 نظر شما چيه؟ - 20283 مشاهده ]

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


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



مطالب جديد
· 1: Coarse-to-Fine Approach for Urban Area Interpretation Using TerraSAR-X Data
· 2: MULTI-OBJECTIVE SECURITY CONSTRAINED OPTIMAL REACTIVE DISPATCH APPLIED
· 3: A Vertical 4-Bit SONOS Flash Memory and a Unique 3-D Vertical NOR Array Structure
· 4: فشرده سازي تصاوير مبتني بر حذف افزونگي هاي مكاني و روش ترميم تصوير
· 5: LCD ها چگونه كار مي كنند ؟
· 6: روشنايي مناسب اداري با استفاده از لام پهاي فلورسنت مهتابي
· 7: An Introduction To Programming The Microchip In C
· 8: Wire-Type Dispersive Ultrasonic Delay Lines
· 9: Comparison of Voltage Control and Current Control Methods in Grid Connected Inverters
· 10: POWER FLOW CONTROL BY USE OF CONTROLLABLE COMPONENTS
· 11: Induction Motor Broken Rotor Bar Faul t Detection Using Discrete Wavelet Transform
· 12: THE HAWAII GEOTEERMAL/INTERISLAMD TRANSMISSION PROJECT
· 13: Biomechanical Relationship Between Center of Gravity and Center of Pressure During Standing
· 14: A Novel Nanometeric Plasmonic Refractive Index Sensor
· 15: Adaptive Fuzzy Control of Nonlinear Systems in Pure Feedback Form Based on Input-to-State Stability
· 16: A Memristor Spice Implementation and a New Approach for Magnetic Flux Controlled Memristor Modeling
· 17: XORs in the Air: Practical Wireless Network Coding
· 18: Semiconductor Radiation Detectors
· 19: مقاله آموزشي حافظه هاي اصلي و جانبي
· 20: فراکتالها و کاربردآنها در طراحی آنتن

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


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

 



مقالات آموزشي: 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
ارسال شده توسط: ايران ميكرو
سطح مقاله: عمومي
بازديد: 408
مشخصات مقاله
امتياز دادن

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,794
آخرین: mousa1586

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

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


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

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



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

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


پيغام كوتاه

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


كي كجا هست ؟
 ميهمان:
01: ميهمان -> News
02: ميهمان -> News
03: ميهمان -> Forums
04: ميهمان -> Forums
05: ميهمان -> News
06: ميهمان -> Tutorials
07: ميهمان -> News
08: ميهمان -> Forums
09: ميهمان -> News
10: ميهمان -> Tutorials
11: ميهمان -> News
12: ميهمان -> Tutorials
13: ميهمان -> News
14: ميهمان -> News
15: ميهمان -> News
16: ميهمان -> News
17: ميهمان -> Forums
18: ميهمان -> News
19: ميهمان -> News
20: ميهمان -> News
21: ميهمان -> News
22: ميهمان -> News
23: ميهمان -> Tutorials
24: ميهمان -> News
25: ميهمان -> News
26: ميهمان -> News
27: ميهمان -> Tutorials
28: ميهمان -> News
29: ميهمان -> News
30: ميهمان -> News
31: ميهمان -> News
32: ميهمان -> News
33: ميهمان -> News
34: ميهمان -> News
35: ميهمان -> Forums
36: ميهمان -> Forums
37: ميهمان -> Tutorials
38: ميهمان -> News
39: ميهمان -> Forums
40: ميهمان -> News
41: ميهمان -> Forums
42: ميهمان -> Content
43: ميهمان -> News
44: ميهمان -> News
45: ميهمان -> News
46: ميهمان -> News
47: ميهمان -> News
48: ميهمان -> News
49: ميهمان -> News
50: ميهمان -> News
51: ميهمان -> Tutorials
52: ميهمان -> News
53: ميهمان -> News
54: ميهمان -> Forums
55: ميهمان -> News
56: ميهمان -> News
57: ميهمان -> News
58: ميهمان -> Forums
59: ميهمان -> Forums
60: ميهمان -> News
61: ميهمان -> News
62: ميهمان -> News
63: ميهمان -> News
64: ميهمان -> News
65: ميهمان -> News
66: ميهمان -> Tutorials
67: ميهمان -> Forums
68: ميهمان -> Tutorials
69: ميهمان -> Calendar
70: ميهمان -> News
71: ميهمان -> News
72: ميهمان -> News
73: ميهمان -> News
74: ميهمان -> News
75: ميهمان -> News
76: ميهمان -> Forums
77: ميهمان -> Tutorials
78: ميهمان -> News
79: ميهمان -> News
80: ميهمان -> News
81: ميهمان -> News
82: ميهمان -> News
83: ميهمان -> News
84: ميهمان -> News
85: ميهمان -> News
86: ميهمان -> News
87: ميهمان -> Forums
88: ميهمان -> News
89: ميهمان -> News
90: ميهمان -> Forums
91: ميهمان -> Forums
92: ميهمان -> News
93: ميهمان -> News
94: ميهمان -> News
95: ميهمان -> News
96: ميهمان -> Forums
97: ميهمان -> News
98: ميهمان -> News
99: ميهمان -> News
100: ميهمان -> News
101: ميهمان -> News
102: ميهمان -> News
103: ميهمان -> News
104: ميهمان -> News
105: ميهمان -> News
106: ميهمان -> Forums
107: ميهمان -> Forums
108: ميهمان -> Forums
109: ميهمان -> Your_Account
110: ميهمان -> News
111: ميهمان -> Forums
112: ميهمان -> News
113: ميهمان -> News
114: ميهمان -> News
115: ميهمان -> News
116: ميهمان -> News
117: ميهمان -> News
118: ميهمان -> Forums
119: ميهمان -> Forums
120: ميهمان -> News
121: ميهمان -> News
122: ميهمان -> News
123: ميهمان -> News
124: ميهمان -> News
125: ميهمان -> News
126: ميهمان -> News
127: ميهمان -> News
128: ميهمان -> News
129: ميهمان -> Forums
130: ميهمان -> News
131: ميهمان -> News
132: ميهمان -> Private_Messages
133: ميهمان -> News
134: ميهمان -> News
135: ميهمان -> News
136: ميهمان -> News
137: ميهمان -> News
138: ميهمان -> News
139: ميهمان -> News
140: ميهمان -> News
141: ميهمان -> News
142: ميهمان -> News
143: ميهمان -> News
144: ميهمان -> Forums
145: ميهمان -> News
146: ميهمان -> News
147: ميهمان -> Forums
148: ميهمان -> News
149: ميهمان -> Your_Account
150: ميهمان -> News
151: ميهمان -> News
152: ميهمان -> News
153: ميهمان -> News
154: ميهمان -> Your_Account
155: ميهمان -> News
156: ميهمان -> News
157: ميهمان -> News
158: ميهمان -> News
159: ميهمان -> News
160: ميهمان -> News
161: ميهمان -> Content
162: ميهمان -> Forums
163: ميهمان -> News
164: ميهمان -> News
165: ميهمان -> Forums
166: ميهمان -> News
167: ميهمان -> News
168: ميهمان -> News
169: ميهمان -> News
170: ميهمان -> News
171: ميهمان -> News
172: ميهمان -> Forums
173: ميهمان -> News
174: ميهمان -> News
175: ميهمان -> News
176: ميهمان -> Tutorials
177: ميهمان -> News
178: ميهمان -> News
179: ميهمان -> News
180: ميهمان -> News
181: ميهمان -> Forums
182: ميهمان -> News
183: ميهمان -> News
184: ميهمان -> News
185: ميهمان -> News
186: ميهمان -> Tutorials
187: ميهمان -> Tutorials
188: ميهمان -> News
189: ميهمان -> Forums
190: ميهمان -> News
191: ميهمان -> News
192: ميهمان -> News
193: ميهمان -> News
194: ميهمان -> News
195: ميهمان -> News
196: ميهمان -> News
197: ميهمان -> News
198: ميهمان -> News
199: ميهمان -> News
200: ميهمان -> Forums
201: ميهمان -> News
202: ميهمان -> News
203: ميهمان -> News
204: ميهمان -> News
205: ميهمان -> News
206: ميهمان -> News
207: ميهمان -> News
208: ميهمان -> Your_Account
209: ميهمان -> Your_Account
210: ميهمان -> Forums
211: ميهمان -> Forums
212: ميهمان -> News
213: ميهمان -> News
214: ميهمان -> Tutorials
215: ميهمان -> News
216: ميهمان -> News
217: ميهمان -> News
218: ميهمان -> News
219: ميهمان -> News
220: ميهمان -> News
221: ميهمان -> News
222: ميهمان -> News
223: ميهمان -> News
224: ميهمان -> News
225: ميهمان -> News
226: ميهمان -> News
227: ميهمان -> News
228: ميهمان -> News
229: ميهمان -> News
230: ميهمان -> News
231: ميهمان -> News
232: ميهمان -> News
233: ميهمان -> News
234: ميهمان -> Forums
235: ميهمان -> News
236: ميهمان -> News
237: ميهمان -> Shout_Box
238: ميهمان -> News
239: ميهمان -> News
240: ميهمان -> News
241: ميهمان -> Forums
242: ميهمان -> Your_Account
243: ميهمان -> News
244: ميهمان -> News
245: ميهمان -> News
246: ميهمان -> Private_Messages
247: ميهمان -> Forums
248: ميهمان -> News
249: ميهمان -> News
250: ميهمان -> News
251: ميهمان -> Forums
252: ميهمان -> Your_Account
253: ميهمان -> News
254: ميهمان -> Tutorials
255: ميهمان -> News
256: ميهمان -> Tutorials
257: ميهمان -> News
258: ميهمان -> News
259: ميهمان -> News
260: ميهمان -> Tutorials
261: ميهمان -> News
262: ميهمان -> News
263: ميهمان -> News
264: ميهمان -> News
265: ميهمان -> News
266: ميهمان -> News
267: ميهمان -> News
268: ميهمان -> Your_Account
269: ميهمان -> News
270: ميهمان -> Forums
271: ميهمان -> News
272: ميهمان -> News
273: ميهمان -> News
274: ميهمان -> News
275: ميهمان -> News
276: ميهمان -> News
277: ميهمان -> News
278: ميهمان -> News
279: ميهمان -> News
280: ميهمان -> News
281: ميهمان -> News
282: ميهمان -> News
283: ميهمان -> News
284: ميهمان -> Tutorials
285: ميهمان -> Forums
286: ميهمان -> News
287: ميهمان -> News
288: ميهمان -> News
289: ميهمان -> News
290: ميهمان -> News
291: ميهمان -> News
292: ميهمان -> News
293: ميهمان -> News
294: ميهمان -> News
295: ميهمان -> News
296: ميهمان -> News
297: ميهمان -> News
298: ميهمان -> Tutorials
299: ميهمان -> News
300: ميهمان -> Tutorials
301: ميهمان -> Tutorials
302: ميهمان -> News
303: ميهمان -> News
304: ميهمان -> News
305: ميهمان -> News
306: ميهمان -> News
307: ميهمان -> Downloads
308: ميهمان -> News
309: ميهمان -> News
310: ميهمان -> Forums
311: ميهمان -> Forums
312: ميهمان -> Tutorials
313: ميهمان -> News
314: ميهمان -> Forums
315: ميهمان -> News
316: ميهمان -> News
317: ميهمان -> News
318: ميهمان -> News
319: ميهمان -> News
320: ميهمان -> News


دريافت فايل
مجموع فايل ها: 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: مطالب درسی و پروژه های رشته الکترونیک
· 11: bahramelectronic.tk
· 12: electronic2006
· 13: Your Personal PLC Tutor - Learn PLC Programming Here. FREE
· 14: برق و الكترونيک
· 15: مقالات برق الكترونيك پي ال سي
· 16: elect.ir
· 17: ساعت خوش
· 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.06 ثانیه