About this scholarly article

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Automated analysis of real-time scheduling using graph games by Chatterjee, Krishnendu; Kößler, Alexander; Schmid, Ulrich is a scholarly article available to read on EtoBox.

Author

Chatterjee, Krishnendu; Kößler, Alexander; Schmid, Ulrich

Publisher

ACM Press

Published

2013

Language

EN