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

Guardat en:

Dades bibliogràfiques
Publicat a:	Electronics vol. 14, no. 7 (2025), p. 1448
Autor principal:	Aladib, Loay
Altres autors:	Su, Guoxin, Yang, Jack
Publicat:	MDPI AG
Matèries:	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)
Accés en línia:	Citation/Abstract Full Text + Graphics Full Text - PDF
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Sigues el primer a deixar un comentari!