Current IssueVol 8, No 2 (2022): Special Issue on Distributed Hybrid Systems
Published December 7, 2022
Table of Contents
Special Issue on Distributed Hybrid Systems
Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation
About the Leibniz Transactions on Embedded Systems (LITES)
LITES publishes original articles on all aspects of embedded computer systems according to the principles of OpenAccess. The journal is published by the European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing
LITES aims at efficient reviewing procedures to ensure that articles are published within one year of submission. LITES will be published in one volume with 4 issues per year and is permanently open for submission.
LITES @ dblp
Aims and Scope
Leibniz Transactions on Embedded Systems (LITES) aims to publish high-quality scholarly articles and to ensure efficient submission, reviewing, and publishing procedures that will result in timely publication. All articles are published open access, i.e., are accessible only online at no cost to the reader. All rights are retained by the author(s).
LITES publishes original articles on all aspects of embedded computer systems, in particular: the design, implementation, verification, and testing of embedded hardware and software systems; theoretical foundations; single-core, multi-processor, and networked architectures and their energy consumption and predictability properties; reliability and fault tolerance; security properties; and applications in the avionics, automotive, telecommunication, medical, and production domains.
Open Access Policy
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license (https://creativecommons.org/publicdomain/zero/1.0/legalcode).
Each article is assigned a DOI and a URN.
To facilitate author identification, the Open Researcher and Contributor ID (ORCID) is optionally included during upload so that authors can be uniquely linked to their ORCID iD.