From Code to Weakly Hard Constraints: A Pragmatic End-To-End Toolchain for Timed C

AuthID
 P-00S-0HX
5
Author(s)
Natarajan, S
·
Nasri, M
·
Broman, D
·
Brandenburg, BB
·
Tipo de Documento
Proceedings Paper
Year published
2019
Publicado
in 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019) in Real-Time Systems Symposium-Proceedings, ISSN: 1052-8725
Volume: 2019-December, Páginas: 167-180 (14)
Conference
40Th Ieee Real-Time Systems Symposium (Rtss), Date: DEC 03-06, 2019, Location: Hong Kong, HONG KONG, Patrocinadores: IEEE, IEEE Comp Soc
Indexing
Wos®
Scopus®
Crossref®2
Google Scholar®
Publication Identifiers
SCOPUS: 2-s2.0-85083268379
Wos: WOS:000568160700015
Source Identifiers
ISSN: 1052-8725
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service