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

Facet browsing:

Current Search ((ALL:Formal methods))
Filters none
anhui university(1)
cnpq, brazilian scientific and technological research council; capes, brazilian higher education funding council; the federal university of rio grande do norte (ufrn); miranda computacao e comercio ltda; setirn(1)
concur(1)
easst (european association of software science and technology); university of cyprus; athk/cyta (cyprus telecom-munications authority); artist 2 network of excellence; university of dortmund; et. al.(1)
european association of software science and technology (easst)(1)
ieee beijing section; beijing university of technology and ieee china council; beijing university of posts and telecommunications; graduate university of the chinese academy of sciences; china institute of electrics(1)
ieee comp soc, ifip, tianjin normal univ(1)
ieee; k.u.a.s.; technische universitat darmstadt(1)
the air force office of scientific research (afosr); the office of naval research-global (onrg); the asian office of aerospace research and development (aoard); u.s. army rdecom(1)
信息安全共性技术国家工程研究中心(1)

 

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