Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Geographic : ca

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Authors : Mediouni, Braham, Lotfi; Nouri, Ayoub; Bozga, Marius ...

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded SystemsLos Angeles; CA; United States

Source: ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis ; https://hal.science/hal-01888538 ; ATVA 2018 - 16th International Symposium Automated Technology for

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Authors : Mediouni, Braham, Lotfi; Nouri, Ayoub; Bozga, Marius ...

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded SystemsLos Angeles; CA; United States

Source: ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis ; https://hal.science/hal-01888538 ; ATVA 2018 - 16th International Symposium Automated Technology for

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Authors : Mediouni, Braham, Lotfi; Nouri, Ayoub; Bozga, Marius ...

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded SystemsLos Angeles; CA; United States

Source: ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis ; https://hal.science/hal-01888538 ; ATVA 2018 - 16th International Symposium Automated Technology for

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Authors : Mediouni, Braham, Lotfi; Nouri, Ayoub; Bozga, Marius ...

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded SystemsLos Angeles; CA; United States

Source: ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis ; https://hal.science/hal-01888538 ; ATVA 2018 - 16th International Symposium Automated Technology for

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

SBIP 2.0: Statistical Model Checking Stochastic Real-time Systems

Authors : Mediouni, Braham; Nouri, Ayoub; Bozga, Marius ...

Subjects: [INFO.INFO-ES]Computer Science [cs]/Embedded SystemsLos Angeles; CA; United States

Source: ATVA 2018 - 16th International Symposium Automated Technology for Verification and Analysis ; https://hal.archives-ouvertes.fr/hal-01888538 ; ATVA 2018 - 16th International Symposium Automated

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي