【PISPEC】商标详情

4209-关于特殊软件模块的工程服务，包括组合电路（芯片）的等效性检查,

4209-基于模型检查技术的自动化验证解决方案,

4209-新产品方面的研究和开发服务,

4209-有关正式验证技术方面的研究和开发服务,

4216-工业品外观设计,

4220-关于特殊软件模块的工程服务，包括组合电路（芯片）的等效性检查,

4220-基于模型检查技术的自动化验证解决方案,

4220-有关正式验证技术方面的研究和开发服务,

4220-系统开发和验证计算机系统领域的咨询,

4220-计算机程序的更新和验证,

4220-计算机编程