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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  853 نتائج ل ""Formal methods""

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

Subject : 01 natural sciences
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

On the Use of Formal Methods to Model and Verify Neuronal Archetypes

Subjects: Model checking; Theoretical computer science; General Computer Science

  • Source: Frontiers of Computer ScienceFrontiers of Computer Science, Springer Verlag, 2020, pp.40Frontiers of Computer Science, 2021, 16, pp.28

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

اقرأ أكثر
×

Formal methods of estimating risks in trade

Subjects: Total cost; 05 social sciences; Minimum risk

  • Source: Вестник Российского экономического университета имени Г. В. Плеханова, Vol 0, Iss 5, Pp 167-173 (2018)

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

اقرأ أكثر
×

A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops

Subjects: Focus (computing); formal methods; business.industry

  • Source: FMIS 2019: 8th Formal Methods for Interactive Systems workshopFMIS 2019: 8th Formal

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

اقرأ أكثر
×

The Bourgeois Gentleman, Engineering and Formal Methods

Subjects: Life-critical system; 010201 computation theory & mathematics; Computer science

  • Source: Lecture Notes in Computer Science ISBN: 9783030549930FM Workshops (1)

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

اقرأ أكثر
×

Teaching Formal Methods to Future Engineers

Subjects: Professional career; business.industry; Computer science

  • Source: LNCSThird International Workshop and Tutorial, FMTeaThird International Workshop and Tutorial, FMTea, Sep 2019, Porto, Portugal. pp.69-80, ⟨10.1007/978-3-030-32441-4_5⟩

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

اقرأ أكثر
×

Formal Methods Analysis of the Secure Remote Password Protocol

Subjects: Password; business.industry; Computer science

  • Source: Logic, Language, and Security ISBN: 9783030620769Logic, Language, and Security

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

اقرأ أكثر
×

You Already Used Formal Methods but Did Not Know It

Subjects: Class (computer programming); Teaching method; media_common.quotation_subject

  • Source: Formal Methods Teaching ISBN: 9783030324407FMTea

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

اقرأ أكثر
×

Exploring the effects of environmental conditions and design choices on IoT systems using formal methods

Subjects: QA75; General Computer Science; Computer science

  • Source: Webster, M, Breza, M, Dixon, C, Fisher, M & Mccann, J 2020, ' Exploring the Effects of Environmental Conditions and Design Choices on IoT Systems Using Formal

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

اقرأ أكثر
×

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems

Subjects: Path-complete Lyapunov techniques; Bisimulation; 0209 industrial biotechnology

  • Source: IEEE Control Systems Letters, Vol. 4, no. 1, p. 235-240 (2020)

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

اقرأ أكثر
×

Formal methods for adaptive control of dynamical systems

Subjects: 0209 industrial biotechnology; Mathematical optimization; Adaptive control

  • Source: CDC

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

اقرأ أكثر
×
  • 1-10 ل  853 نتائج ل ""Formal methods""