研究方向:

     model checking

  • 介绍:      
  • 小组成员:   

                                                                                            回到页首

 

     构件与web服务验证

  • 验证介绍:      
  • 小组成员:   

                                                                                            回到页首

 

     petri网

  • 介绍:      
  • 小组成员:   

                                                                                            回到页首

 

     量子信息

  • 介绍:      
  • 小组成员:   

                                                                                            回到页首

 

     生物信息学

  • 介绍:      
  • 小组成员:   

                                                                                            回到页首

关于我们

研究方向

开设课程

科研成果

成员介绍

生活掠影

加入我们