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

Facet browsing:

Current Search ((ALL:model checking))
Filters none
ieee comp soc, ifip, tianjin normal univ(3)
ieee; k.u.a.s.; technische universitat darmstadt(2)
national natural science foundation of china; public administration and civil service bureau of macau sar; companhia de telecomunicacoes de macau s.a.r.l.; macau sar government tourist office(2)
peking univ(2)
acm sig embedded syst, acm sig design automat, ieee circuits & syst soc, ieee council elect design automat, ieee france, inria, texas instruments, arcsis, bluespec, nokia, reg provence alpes cote azur(1)
acm sigsoft, ifip wg 2 2(1)
concur(1)
digiteo; adacore; sncf; lei; ensta paristech(1)
ieee(1)
ieee beijing section; xiamen university; fujian association for artificial intelligence (faai); shanghai jiaotong university; iwate prefectural university(1)
ieee comp soc(1)
ieee comp soc tech comm simulat, ieee comp soc tech comm design automat(1)
ieee comp soc, ieee, ifip, nanjing univ(1)
ieee computer society(1)
international business machines china company limited (ibm); zhejiang university (zju); institute of software, chinese academy of sciences (iscas)(1)
northwest polytechnic university; the university of hong kong; university of l'aquila(1)
oxford brookes univ, univ hong kong(1)
united nations univ, int inst software technol, vietnam natl univ, vietnam acad sci & technol(1)
univ macau, off dev telecomm & informat technol, un univ, int inst software technol, natl nat sci fdn china, macau fdn, public adm & civil serv bur macau sar, co telecommun macau s a r l, macau sar govt tourist off, macau product & technol tra(1)
university of buffalo (ub); the state university of new york(1)

 

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