【ENGINEERING A SAFER WORLD】商标详情

4209-开发和提供基于模型检查技术的自动化验证相关专家解决方案,

4209-有关形式验证技术的研发服务,

4209-有关新产品的研发服务,

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

4216-工业品外观设计,

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

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

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

4220-计算机编程