Font Size:
a
A
A
Keyword [process algebra]
Result: 41 - 60 | Page: 3 of 4
41.
Formal Description Of The Technical Lotos And Its Extensions And Applications In Real-time Systems
42.
Process Algebra In The Workflow Application
43.
Concurrent Generalized Symbolic Trajectory Assignment
44.
Design And Implementation Of Algorithms For Checking Bisimilarity
45.
Research On Proof Systems In A Process Algebra For Demand And Supply
46.
Research On Software Behavior Modeling And Detection Technology Of Mission Critical System
47.
Research On A Modeling Method For Business Process Collaboration
48.
Research On Dynamic Evolution Technology Of Context-aware Web Service Composition
49.
Research On Several Issues Of Workflow
50.
The Research Of Process Improvement Control Based On ARIS In The Construction Of Enterprise System
51.
Diagnosis Of Deviate Behavior EPMM Based Software Process Modeling
52.
Binary Oriented Vulnerability Detecting Methods Based On Taint Propagation
53.
Research On Simulation And Reachability Graph Based On Process Networks
54.
Research On The Model And Key Technologies Of Fine-grained Information Flow Control
55.
Research On Key Technology Of Software Behavior Modeling And Detection In Android Apps
56.
A Formal Framework For SAAS Customization Based On Multi-Layered Architecture Via Process Algebra
57.
Performance Research Of Performance Evaluation Of Content Distribution Network Based On PEPA Model
58.
The Modeling And Verification Of Cyber Physical System Based On AADL
59.
Equivalence Checking For Basic Process Algebra
60.
Logic Conformance Verification Of Asynchronous Circuits With EBES
<<First
<Prev
Next>
Last>>
Jump to
