Font Size: a A A
Keyword [Transition System]
Result: 1 - 20 | Page: 1 of 2
1. Research On The LLTS-oriented Process Calculus CLL_R
2. Approximate Reasoning—Investigation Of Polynomial Algebraic Dynamic Logic
3. Research On Refusal Testing Of Multi Input/Output Transition Systems Using The All-Observer
4. Research On Formal Methods For Safe Software Architecture
5. The Research Of System, Rules And Checking Of Protocol Based On TLA
6. Research On Weaving For Stateful Aspects In Software Architecture
7. Performance Modeling And Analysis Of Web Services Composition
8. Research On Behavioural Approximate Equivalence Of Transition System
9. The System Innovation Of Newspaper Corporation In The Institutional Economics
10. Research And Realization Of Official Document Transition System Based On Workflow
11. The Application Of Petri Net In Manufacturing Production Logistics System
12. Research On Consistency Of Sequence Diagram And State Diagram
13. Application Of Petri Nets In Predicate Logic Reasoning
14. Research And Realization Of Document Transition System Based On Time Petri Net
15. Synthesis Of Behavioral Models Based On Scenarios
16. Testing Technique Based On Software Architecture
17. Research And Applications Of Flow Pipe Approximation Methods In Formal Verification Technology
18. Deep-sea Data Collection & Transition System Design Base On Wince Platform
19. Design For Universal Transition System Of Press Parts
20. Requirements Elicitation And Formalization Modeling Based On Scenarios And Properties
  <<First  <Prev  Next>  Last>>  Jump to