欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
JAIN-SIP
来自开放百科 - 灰狐
Contains RI, TCK, examples, tools for JAIN-SIP-1.2 (JSR-32 maintenance release) and an SDP library that conforms to the public release of JSR 141 (JAIN-SDP) interfaces. JAIN-SIP RI is a full implementation of RFC 3261. JAIN-SDP interfaces are still under public review and are subject to change. Tools include a signaling trace viewer that can take input from an etherreal/stack trace. RI, TCK and tools are in the public domain.
分享您的观点