Font Size:
a
A
A
Keyword [concurrent systems]
Result: 1 - 20 | Page: 1 of 2
1.
Study On Integration Method Of Modular Modeling And Model Checking For Concurrent Systems
2.
Model Checking And Testing Of Concurrent Systems
3.
An Extended Symbolic Model For Concurrent Value-passing Processes
4.
The Research For Formal Methods-based Design Of Real-time Systems And Aided Code Generation
5.
A Formal Approach To Build Safe Threading Machanisms
6.
Formal Technique Of Concurrent Systems
7.
Parallel Computing And Performance Analysis Of Concurrent Systems
8.
Research And Application For Concurrent Systems Oriented Test Reduction Technology
9.
Research And Application Of Compositional Structure Of Concurrent Systems
10.
Hierarchical Structure And Response Time Analysis For Supply Chain Concurrent Systems
11.
Research And Implementation Of Symbolic Model Checking Of Concurrent Systems Under Possibility Measurement
12.
Checking the data sharing strategies of concurrent systems level code
13.
Static and dynamic formal analysis of concurrent systems and languages: A semantics-based approach
14.
Deductive mechanical verification of concurrent systems
15.
On testing concurrent systems through contexts of queues
16.
SeSFJava: A framework for design and assertion-testing of concurrent systems
17.
Methods for the supervisory control of concurrent systems based on petri net abstractions
18.
Files as first-class objects in fault-tolerant concurrent systems
19.
Enhancing The Reliability Of Concurrent Systems Using Supervisory Control
20.
Compositional modeling of interaction -centric concurrent systems
<<First
<Prev
Next>
Last>>
Jump to
