تخطي إلى المحتوى

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

بحث متقدم

Trace Checking with Real−Time...

استشهد بهذا
أرسل هذا في رسالة قصيرة
أرسل هذا بالبريد الإلكتروني
طباعة
تصدير التسجيلة
رابط دائم

Trace Checking with Real−Time Specifications

Trace Checking with Real−Time Specifications

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Deutschmann, R, Fruth, M, Reichel, H, Reuss, H
التنسيق:	Conference item
منشور في:	2004

المقتنيات
الوصف
مواد مشابهة
عرض للأخصائي

مواد مشابهة

Model Checking in an Industrial Environment
حسب: Hensel, U, وآخرون
منشور في: (2003)
Equivalence checking using trace partitioning
حسب: Mukherjee, R, وآخرون
منشور في: (2015)
Optimizing ZigBee Security using Stochastic Model Checking
حسب: Yüksel, E, وآخرون
منشور في: (2010)
Neue Absicherungsstrategien für Steuergerätesoftware
حسب: Deutschmann, R, وآخرون
منشور في: (2010)
Real-time model checking: Algorithms and complexity
حسب: Worrell, J, وآخرون
منشور في: (2008)

خيارات البحث

سجل البحث
بحث متقدم

ابحث عن المزيد

استعراض الفهرس
استعرض أبجدياً
اكتشف القنوات
الحجز الأكاديمي
مواد جديدة

تحتاج مساعدة ؟

إرشادات حول معاملات البحث
إسأل أخصائي مكتبات
الأسئلة الشائعة