Antoine Miné. Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities. Electronic Notes in Theoretical Computer Science, 331:3-39, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.