ISSN 2415-363X

Filter by: Subject

мережеве планування в режимі реального часу (1)
мережевий графік (1)
темпоральні логіки (1)
формалізація властивостей (1)