Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter

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

Content Provider : OpenAIRE فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model

Subjects: Model checking; CADP; Mechanical Engineering

  • Source: Journal of Intelligent and Robotic SystemsJournal of Intelligent and Robotic Systems, 2023, 107 (4), pp.1-45. ⟨10.1007/s10846-023-01808-3⟩

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Agricultural commercialisation, poverty reduction and pro-poor growth: evidence from commercial agricultural development project in Nigeria

Subjects: 0301 basic medicine; Science (General); Average treatment effect

  • Source: Heliyon, Vol 7, Iss 5, Pp e06818-(2021)Heliyon

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Variables That Affect Results of PFA-100 in a Group of Healthy Blood Donors in the Slovak Population

Subjects: medicine.medical_specialty; collagen/adp (cadp); Population

  • Source: Acta Medica Martiniana, Vol 17, Iss 1, Pp 5-14 (2017)

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Tools and Methods for RTCP-Nets Modeling and Verification

Subjects: Model checking; Control and Optimization; coverability graphs

  • Source: Archives of Control Sciences, Vol 26, Iss 3, Pp 339-365 (2016)

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Nested-unit Petri nets

Subjects: Model checking; [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]; formal semantics

  • Source: Journal of Logical and Algebraic Methods in ProgrammingJournal of Logical and Algebraic Methods in Programming, Elsevier, 2019, 104, pp.60-85. ⟨10.1016/j.jlamp.2018.11.005⟩Journal of

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Predicting personality disorder functioning styles by the Chinese Adjective Descriptors of Personality: a preliminary trial in healthy people and personality disorder patients

Subjects: Agreeableness; Adult; Male

  • Source: BMC Psychiatry

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Generation and characterization of a lysosomally targeted, genetically encoded Ca2+-sensor

Subjects: TG, thapsigargin; Endocytic cycle; Intracellular Space

  • Source: Biochemical Journal

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Formal Modelling and Verification of GALS Systems Using GRL and CADP

Subjects: CADP; Computer science; Process (engineering)

  • Source: Formal Aspects of ComputingFormal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩Formal Aspects of Computing, 2016, 28 (5), pp.767-804.

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

A model-extraction approach to verifying concurrent C programs with CADP

Subjects: Scheme (programming language); CADP verification toolbox; Source code

  • Source: Science of Computer Programming. 77:375-392

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Experiences with Formal Engineering

Subjects: Computer science; Model-Based Testing; White-box testing

  • Source: Science of computer programming, 80(Part A), 188-209. Elsevier16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 117-133

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×