scientific article; zbMATH DE number 7362029

zbMath1464.68037arXiv1404.0088MaRDI QIDQ4994965

Giuseppe Lipari, Étienne André, Youcheng Sun, Laurent Fribourg

Publication date: 22 June 2021

Full work available at URL: https://arxiv.org/abs/1404.0088

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

real-time schedulingparametric timed automataparametric schedulability analysis

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (2)

A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling ⋮ Distributed parametric model checking timed automata under non-zenoness assumption

This page was built for publication: