Skip to main content
Top
Metadata
Title
Reusable formal models for concurrency and communication in custom real-time operating systems
Authors
Julius Adelt
Julian Gebker
Paula Herber
Publication date
20-02-2024
Publisher
Springer Berlin Heidelberg
Published in
International Journal on Software Tools for Technology Transfer / Issue 2/2024
Print ISSN: 1433-2779
Electronic ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-024-00743-4

Other articles of this Issue 2/2024

International Journal on Software Tools for Technology Transfer 2/2024 Go to the issue

Premium Partner