اعتبارسنجی و تضمین ایمنی سیستم‌های پویا

کتاب فراتر از شبیه‌سازی: تضمین ریاضی عملکرد راکتورهای شیمیایی با منطق دینامیکی (dL)