Dynamic scheduling for switched processing systems with substantial service-mode switching times

From MaRDI portal
Publication:1007135