Font Size: a A A
Keyword [verify]
Result: 21 - 40 | Page: 2 of 5
21. LWD System Bus Protocol Analysis & INSITE Development
22. Model And Verify The Mobile Communication Service Based On PI-calculus
23. Model And Verify The Mobile Communication Service Based On CPN For Web Service
24. Cascade Consistency Check Of Segmentation Of The Chinese Corpus
25. Research On Performance Optimization Modeling And Testing Framework Of Web Application
26. Modeling And Implemention Of The Newspaper Office Manuscript Management System Based On Petri Net
27. Design And Implementation Of Multichannel Buffered Serial Port In FT-C55LP
28. Trusted Detect And Measure For Virtual Machine System
29. Design And Implementation Of AADL Model Schedulability Analysis Tool
30. Design And Application Of PKI In Verifying Identities And Encrypting In The Internet Banking
31. The Research Of Business Process Analysis Technology Based On Sofl
32. Research And Enhancement For Home(e)NodeB Security In LTE/SAE
33. Research And Development For The OPC UA Server's Security And Configuration Module
34. Design And Test Methods About Communication Architecture Based On FPGA Of NoC
35. Modeling And Verifying Multithreaded Discrete Event Simulation Lanaguage In PVS
36. Formal Modeling And Research Of The 3G Mobile Communication Service Based On Pi-calculus
37. Using Pi-calculus To Formalize Grid Workflow And Verify Process Soundness
38. The Design And Implementation Of Crm System Based Pi Calculus
39. Secure Communication Based On Xml-xml Engine,
40. A Class Of Object Petri Net Research, Modeling And Verification Methods
  <<First  <Prev  Next>  Last>>  Jump to