Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system
The task of checking whether a real-time system satisfies its timing and concurrency specifications is extremely important. One major area of research addressing software reliability aspect is called formal method, which attempts to prove the correctness of programs with respect to system specificat...
محفوظ في:
| المؤلفون الرئيسيون: | , , , |
|---|---|
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
Penerbit UTM Press
2001
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://eprints.utm.my/id/eprint/937/1/JT34D3.pdf http://eprints.utm.my/id/eprint/937/ http://www.penerbit.utm.my/onlinejournal/34/D/JT34D3.pdf |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|