欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
PEtALS
来自开放百科 - 灰狐
PEtALS is the highly distributed Open Source ESB hosted by OW2. PEtALS delivers OW2 Java Business Integration (JBI) platform.
PEtALS provides lightweight and packaged integration solutions, based on JSR-208 specifications, with a strong focus on distribution and clustering.
分享您的观点
