К моделированию подсистемы обработки прерываний в Linux (2023)
IEEE : https://ieeexplore.ieee.org/document/10508158 Demo model: https://github.com/SergeyStaroletov/PromelaSamples/tree/master/linux_interrupts
Название:
К моделированию подсистемы обработки прерываний в Linux (2023)
Категория:
Разное