Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems.

Alevtina B. Glonina, Anatoly G. Bakhmurov

Browse the full PACT paper archive.