مدت زمان حساب: رویکرد رسمی به سیستم های زمان واقعی
Duration Calculus: A Formal Approach to Real-Time Systems
نویسنده: Zhou Chaochen, Michael R. Hansen
ناشر: Springer
سال انتشار: 2004
تعداد صفحات: 252
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت