Font Size:
a
A
A
Keyword [Interface Automata]
Result: 1 - 15 | Page: 1 of 1
1.
Research On Component-based Embedded Software Safety Analysis Methods
2.
Compositional Verification Based On Interface Automata
3.
Formal Analysis And Verification For Component-based Embedded Software Designs
4.
Research On Key Technologies Of Model-Driven System-Level Functional Verification For System-on-Chip
5.
Research On Privacy Analysis And Verification Of Web Service Composition
6.
Research On Interface Automata Based Embedded Software Verification Techniques And Supporting Tools
7.
Interface Automata Based Verification Of Web Service Composition
8.
Filtration Of Interface Automata-based Web Service Behavior
9.
Research On On-the-fly Verification Techniques For Embedded Software Designs
10.
Research On Trustworthiness Of Resource Adaptability For Internetware
11.
Research On Temporal Property Analysis And Verification Of Privacy Requirement In Web Services Composition
12.
Research On Formal Specification Of Automatic Verification Algorithm
13.
Consistency Analysis For Interactive Behaviors Of Composed Web Services Based Logs
14.
Research On MDE Based AADL Component Composition Modeling And Simulation
15.
Research On Formal Verification Methods For Hybrid Systems Based On Combined Formal Specification
<<First
<Prev Next>
Last>>
Jump to
