Reusable formal models for concurrency and communication in custom real-time operating systems

Adelt Julius; Gebker Julian; Herber Paula

Research article (journal)

Details zur Publikation

Release year: 2024