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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-3 ل  3 نتائج ل ""Brown, Christopher""

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

Collection : Universite De Rennes 1
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems

Subjects: System design; Energy Real-Time Security System design; EnergyAntwerp; Belgium

  • Source: DATE 2023 - Design, Automation and Test in Europe Conference (MPP - Multi-Partner Projects Track ) ; https://inria.hal.science/hal-04108237 ; DATE 2023 - Design, Automation and Test in Europe

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

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

Semi-automatic ladderisation: improving code security through rewriting and dependent types

Subjects: Security; Soundness; RefactoringUnited StatesPhiladelphia PA, United States

  • Source: PEPM 2022 - ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ; https://inria.hal.science/hal-03805561 ; PEPM 2022 - ACM SIGPLAN International Workshop on Partial

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

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

Type-Driven Verification of Non-functional Properties

Subjects: non-functional properties; security; timePorto; PortugalPorto, Portugal

  • Source: PPDP 2019 - 21st International Symposium on Principles and Practice of Declarative Programming ; https://inria.hal.science/hal-02314723 ; PPDP 2019 - 21st International Symposium on Principles and

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-3 ل  3 نتائج ل ""Brown, Christopher""