Search

Persian
- Persian
- English
ورود

دانشگاه فردوسی مشهد
|
مرکز اطلاع‌رسانی و کتابخانه مرکزی

- Persian
- English

خانه
انواع منابع
راهنمای استفاده

کتابخانه دیجیتال دانشگاه فردوسی مشهد
Search

کتابخانه دیجیتال دانشگاه فردوسی مشهد
Search

همه
عنوان
نویسنده
سال
ناشر
موضوع
عنوان ناشر
ISSN
شناسه الکترونیک
شابک

جستجوی پیشرفته

JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced Filters Hide Advanced Filters

Filters

Use filters to refine the search results.

نمایش تعداد 1-4 از 4

Relevance
Title Asc
Title Desc
سال صعودی
سال نزولی

5
10
20
40
60
80
100

CSV
RIS

Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100

Formal and Compositional Analysis of Power Systems Using Reachable Sets

نوع: Journal Paper

نویسنده : Althoff, Matthias

ناشر: IEEE

سال: 2014

Reachability Analysis of Nonlinear Differential-Algebraic Systems

نوع: Journal Paper

نویسنده : Althoff, Matthias; Krogh, Bruce H.

ناشر: IEEE

سال: 2014

Online Verification of Automated Road Vehicles Using Reachability Analysis

نوع: Journal Paper

نویسنده : Althoff, Matthias; Dolan, John M.

ناشر: IEEE

سال: 2014

[IEEE 2007 American Control Conference - New York, NY, USA (2007.07.9-2007.07.13)] 2007 American Control Conference - Safety Assessment of Autonomous Cars using Verification Techniques

نوع: Journal Paper

نویسنده : Althoff, Matthias; Stursberg, Olaf; Buss, Martin

سال: 2007

نویسنده

Althoff, Matthias (4)

Buss, Martin (1)

Dolan, John M. (1)

Krogh, Bruce H. (1)

Stursberg, Olaf (1)

ناشر

IEEE (3)

سال

2014 (3)

2007 (1)

کلیدواژه

reachability analysis (3)

differential algebraic equations (2)

formal verification (2)

index-1 differential-algebraic equations (2)

Analytical models (1)

automated road vehicle safety (1)

automated vehicle occupancy (1)

automobiles (1)

Carnegie Mellon University (1)

compositional analysis (1)

نوع

Journal Paper (4)

زبان

English (4)

نوع محتوا

Metadata Only (3)

Fulltext (1)

عنوان ناشر

Automatic Control, IEEE Transactions on (1)

Power Systems, IEEE Transactions on (1)

Robotics, IEEE Transactions on (1)

درباره ما

نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش

DSpace software copyright © 2019-2022 DuraSpace