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

Uloženo v:

Podrobná bibliografie
Vydáno v:	Electronics vol. 14, no. 7 (2025), p. 1448
Hlavní autor:	Aladib, Loay
Další autoři:	Su, Guoxin, Yang, Jack
Vydáno:	MDPI AG
Témata:	Temporal logic Software Embedded systems Data processing Verification Performance evaluation Failure detection Real time Decision making Compliance Batch processing Monitoring Fault tolerance Case studies Run time (computers)
On-line přístup:	Citation/Abstract Full Text + Graphics Full Text - PDF
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!