Publicações

Real-Time Mtl with Durations as Smt with Applications to Schedulability Analysis

AuthID
P-00T-XRQ

Author(s)

de Matos, A

Leucker, M

Pereira, D

Pinto, JS

Editor(es)

Aoki,T;Li,Q

Tipo de Documento

Proceedings Paper

Year published

2020

Publicado

in 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020) in TASE

Páginas: 49-56 (8)

Conference

14Th International Symposium on Theoretical Aspects of Software Engineering (Tase), Date: DEC 11-13, 2020, Location: Hangzhou, PEOPLES R CHINA, Patrocinadores: IEEE Comp Soc, Zhejiang Sci Tech Univ

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/882455

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/tase49443.2020.00016

DBLP: conf/tase/PedroLPP20

SCOPUS: 2-s2.0-85105412484

Wos: WOS:000671049200007

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Real-Time Mtl with Durations as Smt with Applications to Schedulability Analysis

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Real-Time Mtl with Durations as Smt with Applications to Schedulability Analysis

Links Úteis

Ajuda