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
·
Document Type
Proceedings Paper
Year published
2019
Published
in 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019) in Real-Time Systems Symposium-Proceedings, ISSN: 1052-8725
Volume: 2019-December, Pages: 167-180 (14)
Conference
40Th Ieee Real-Time Systems Symposium (Rtss), Date: DEC 03-06, 2019, Location: Hong Kong, HONG KONG, Sponsors: 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
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service