2 search results for "tag:"keyword:schedulability analysis""

Showing 1 - 2
  1. coq-prosa

    No documentation

    A Foundation for Formally Proven Schedulability Analysis
    keyword:prosa keyword:real-time keyword:schedulability analysis keyword:response-time analysis logpath:prosa
    Felipe Cerqueira Björn Brandenburg Maxime Lesourd Sergey Bozhko Xiaojie Guo et al.
    0.5
    BSD-2-Clause
    Used by 0 other packages
    08 Nov 2022
  2. rocq-prosa

    No documentation

    A Foundation for Formally Proven Schedulability Analysis
    keyword:prosa keyword:real-time keyword:schedulability analysis keyword:response-time analysis keyword:scheduling theory logpath:prosa
    Felipe Cerqueira Sergey Bozhko Björn Brandenburg Pierre Roux Kimaya Bedarkar et al.
    0.6
    BSD-2-Clause
    Used by 1 other packages
    31 Oct 2025