%0 Journal Article %1 journals/sttt/AdeltGH24 %A Adelt, Julius %A Gebker, Julian %A Herber, Paula %D 2024 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 229-245 %T Reusable formal models for concurrency and communication in custom real-time operating systems. %U http://dblp.uni-trier.de/db/journals/sttt/sttt26.html#AdeltGH24 %V 26

@article{journals/sttt/AdeltGH24, added-at = {2024-03-29T00:00:00.000+0100}, author = {Adelt, Julius and Gebker, Julian and Herber, Paula}, biburl = {https://www.bibsonomy.org/bibtex/2ff306232bce75e70e6f9642c579968c2/dblp}, ee = {https://doi.org/10.1007/s10009-024-00743-4}, interhash = {b4f5bb4ef9b6f6d79af7b6186188f226}, intrahash = {ff306232bce75e70e6f9642c579968c2}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, month = {April}, number = 2, pages = {229-245}, timestamp = {2024-04-08T20:36:30.000+0200}, title = {Reusable formal models for concurrency and communication in custom real-time operating systems.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt26.html#AdeltGH24}, volume = 26, year = 2024 }