Document

LITES, Volume 10, Issue 1, Complete Issue

Part of: Issue: LITES, Volume 10, Issue 1
Part of: Volume: LITES, Volume 10
Part of: Journal: Leibniz Transactions on Embedded Systems (LITES)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2025-12-09

PDF

File

Filesize: 6.26 MB
122 pages

Document Identifiers

DOI: 10.4230/LITES.10.1
URN: urn:nbn:de:0030-drops-252678

Subject Classification

ACM Subject Classification

Computer systems organization → Embedded software
Computer systems organization → Real-time languages
Computer systems organization → Real-time systems
Hardware → Theorem proving and SAT solving
Security and privacy → Logic and verification
Software and its engineering → Operational analysis
Software and its engineering → Real-time schedulability
Software and its engineering → Software testing and debugging
Software and its engineering → Syntax
Theory of computation → Operational semantics

Keywords

LITES, Volume 10, Issue 1, Complete Issue

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

LITES, Volume 10, Issue 1, Complete Issue

Cite As Get BibTex

LITES, Volume 10, Issue 1, pp. 1-122, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LITES.10.1

Any Issues?

X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail

© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact