中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Facet browsing:

Current Search ((ALL:formal verification))
Filters none
science in china series f-information sciences(3)
proceedings - 2009 3rd ieee international symposium on theoretical aspects of software engineering, tase 2009(2)
proceedings - 7th ieee/acis international conference on computer and information science, ieee/acis icis 2008, in conjunction with 2nd ieee/acis int. workshop on e-activity, ieee/acis iwea 2008(2)
ieee transactions on systems man and cybernetics part c-applications and reviews(1)
journal of computer science and technology(1)
journal of symbolic computation(1)
microprocessors and microsystems(1)
proceedings - asia-pacific software engineering conference, apsec(1)
计算机工程(1)
计算机研究与发展(1)
计算机系统应用(1)
软件学报(1)

 

Valid XHTML 1.0!
Copyright © 2007-2022  中国科学院软件研究所 - Feedback
Powered by CSpace