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

Facet browsing:

Current Search ((ALL:Formal methods))
Filters none
information processing letters(3)
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)(3)
ruan jian xue bao/journal of software(2)
acm international conference proceeding series(1)
iccas 2010 - international conference on control, automation and systems(1)
iccse 2010 - 5th international conference on computer science and education, final program and book of abstracts(1)
information and software technology(1)
journal of computer science and technology(1)
journal of parallel and distributed computing(1)
microprocessors and microsystems(1)
proceedings - 2009 3rd ieee international symposium on theoretical aspects of software engineering, tase 2009(1)
proceedings - 2010 6th international conference on intelligent information hiding and multimedia signal processing, iihmsp 2010(1)
proceedings - isola 2006: 2nd international symposium on leveraging applications of formal methods, verification and validation(1)
proceedings 2010 ieee international conference on software engineering and service sciences, icsess 2010(1)
science of computer programming(1)
中国科学技术大学学报(1)
计算机研究与发展(1)
计算机系统应用(1)
软件学报(1)

 

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