Font Size:
a
A
A
Keyword [Linear temporal]
Result: 1 - 20 | Page: 1 of 3
1.
Research On Optimization Techniques For Bounded Model Checking Of Hybrid Systems
2.
Research On Key Techniques Of Software Monitoring Based On Runtime Verification
3.
Research On Behavioural Approximate Equivalence Of Transition System
4.
A Heuristic Algorithm For Model-Checking Based On Counter Example Finding
5.
The Research Of The Workflow's Temporal Character And Its Application Based On The Timed Petri Net
6.
Supervisory Synthesis Of DEDS Based On Temporal Petri Nets
7.
On-the-fly Model Checking Based On Petri Nets
8.
Verifiable Digital Machine
9.
Research On Framework For Verifying AOP Programs Based On Runtime Verification
10.
Application Of Linear Temporal Logic On Audit Of Unemployment Insurance
11.
Behavior-based Web Services Can Be Replaced With Combinations Of Services Find Method
12.
Design And Formal Verification Of Asynchronous FIFO
13.
LTL Model Checking Based On Possibility Measure
14.
Formalization And Model Checking Methods Of System Security Model Based On UMLsec
15.
Demand And Business Process Conformance Testing In The Field Of Related Technical Research
16.
Researches On Some Fundamental Problems Of Linear Temporal Logic
17.
Research On Temporal Property Analysis And Verification Of Privacy Requirement In Web Services Composition
18.
Research On Intrusion Detection Methods Based On The Temporal Logic Model Validation
19.
FTA Based Avionics Software Safety Verification Methodology
20.
Optimal Patrolling Path Planning Method And Application Based On Linear Temporal Logic
<<First
<Prev
Next>
Last>>
Jump to
