Real-Time Monitoring of LTL Properties in Distributed Stream Processing Applications

Збережено в:
Бібліографічні деталі
Опубліковано в::Electronics vol. 14, no. 7 (2025), p. 1448
Автор: Aladib, Loay
Інші автори: Su, Guoxin, Yang, Jack
Опубліковано:
MDPI AG
Предмети:
Онлайн доступ:Citation/Abstract
Full Text + Graphics
Full Text - PDF
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Будьте першим, хто залишить коментар!
Спочатку зайдіть до системи