About 7 item dissertation in line with interface automata query results,the following is 1 to 50(Search took 0.089 seconds)

  1. Research on Trustworthiness of Resource Adaptability for Internetware,XiaZuo/Anhui University of Engineering,0/7
  2. Formal Analysis and Verification for Component-based Embedded Software Designs,HuJun/Nanjing University,10/743
  3. Compositional Verification Based on Interface Automata,WenYanJun/National University of Defense Science and Technology,3/467
  4. Research on Key Technologies of Model-Driven System-Level Functional Verification for System-on-Chip,YuJinShan/National University of Defense Science and Technology,2/282
  5. Research on Privacy Analysis and Verification of Web Service Composition,LiuLinYuan/Nanjing University of Aeronautics and Astronautics,0/83
  6. A Interface Automata-based Approach to the Verification and Adaptation of Behavior Consistency of BPEL4WS,SuHuanCheng/Nanjing University of Aeronautics and Astronautics,0/15
  7. Interface Automata Based Verification of Web Service Composition,JianLin/Central South University,0/29

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile