Naiad

swMATH32529MaRDI QIDQ44240FDOQ44240

Author name not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Modern Datalog Engines
• Adaptive Online First-Order Monitoring
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Building a fault tolerant framework with deadline guarantee in big data stream computing environments

This page was built for software: Naiad