Вы здесь

Главная

дискретн-временной

Связанные издания:

Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Анализ производительности параллельных систем в алгебре dtsiPBC
"Истинно параллельная" и недетерминированная семантика дискоетно-временных сетей Петри