DOI

Original languageEnglish
Article number15
JournalApplied System Innovation
Volume8
Issue number1
DOIs
Publication statusPublished - 20 Jan 2025

    OECD FOS+WOS

  • 1.02.ET COMPUTER SCIENCE, INFORMATION SYSTEMS
  • 1.02.EP COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE
  • 2.02.AC AUTOMATION & CONTROL SYSTEMS
  • 1.01.PN MATHEMATICS, APPLIED
  • 2.11.IJ ENGINEERING, INDUSTRIAL

    Research areas

  • Kripke model, exact schedulability test, fixed priority, non-preemptive tasks, real-time systems, sufficient infeasibility test

ID: 64918541