Naiad
From MaRDI portal
Software:44240
No author found.
Related Items (5)
Building a fault tolerant framework with deadline guarantee in big data stream computing environments ⋮ Modern Datalog Engines ⋮ Adaptive Online First-Order Monitoring ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Unnamed Item
This page was built for software: Naiad
