Artigo em ata de conferência Acesso aberto Revisto por pares

Real-time MTL with durations as SMT with applications to schedulability analysis