Font Size: a A A
Keyword [Diagrams]
Result: 21 - 40 | Page: 2 of 10
21. Test FastHelp Project
22. Study On The Formal Verification Methods In BDD And SAT
23. The Research Of UML-Based Modeling Of Real-time System And Time Constraints Of Sequence Diagrams
24. Semantics Description Of UML2.0 Sequence Diagrams Using The Temporal Logical Language XYZ/E
25. Modeling And Verification Of Embedded Real-time Software By Combination Of Visual Method And Formal Method
26. The Algorithm Design On Harmonics Analysis And Sampling Of Non-complete Period Based On LabVIEW
27. Application Of Ant Colony Optimization In IT Project Schedule
28. Formal Analysis And Application Of Real-time Systems Based On UPPAAL And UML
29. Study On Synthesis Of RE-IV-VI Diluted Magnetic Semiconductors And On The Phase Diagrams Of La-Cu-Sn System
30. The Design And Implementation Of Jinan Electric Power Company's Transmission Management Information System
31. Research Of Transmission Line Work-order-sheets System Based On Graphic And Intellectualized
32. Study On A Conversion Method From UML Diagrams To SVG Graphics
33. A Method Of Test Data Generation Based On UML Sequence Diagrams
34. Computing Hitting Sets And Configurations Based On BDD
35. Two Algorithms Distinguishing Distinct Link Diagrams Up To Planar Isotopy
36. Research On An Approach To Generate Test Sequence Based On UML Collaboration Diagrams
37. Research On Workflow Modeling Based On UML Activity Diagrams And XPDL Specifications
38. Optimization In Packages Transmission Of WSN
39. Research And Analysis Of ROBDD For Minimal Hitting Sets
40. Research On Formalization Of UML Sequence Diagrams
  <<First  <Prev  Next>  Last>>  Jump to