大拱桥--暨南大学学生门户 » 珠海校区图书馆 » 搜索包含 verification 的图书(共2本)

硬件设计验证：基于模拟与形式的方法：simulation and foral method-based approaches

0
索取号：TP303/33
作者：拉姆、王维维、
出版社：北京：机械工业出版社，2007

系统工程Petri网：建模、验证与应用指南：a guide to modeling, verification, and applications

0
索取号：TP393-43/124
作者：吉罗、瓦尔克、王生原、余鹏、
出版社：北京：电子工业出版社，2005