欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Pandora FMS
来自开放百科 - 灰狐
Pandora - The Free Distributed Monitoring System
Pandora的六大组件
- Pandora Data Server
- Pandora Network Server
- Pandora SNMP Console
- Pandora Agents
- Pandora Database
- Pandora Web Management System (Web Console).
分享您的观点
