Font Size:
a
A
A
Keyword [Temporal Properties]
Result: 1 - 12 | Page: 1 of 1
1.
Based On The Dynamic Semantics Of Web Service Description
2.
Research On Key Techniques Of Software Monitoring Based On Runtime Verification
3.
Research On Runtime Monitoring Of Temporal Properties For Web Service
4.
Monte Carlo Method Simulation Of Pulsed Laser Propagation Process In The Dispersive Medium
5.
Modelling And Evaluation For Opportunistic Networks Based On Being Restricted Time And Space
6.
Verifying Full Regular Temporal Properties Of Programs Via Dynamic Program Execution
7.
Research On Trajectory Partitioning And Clustering Technology Based On Node Movement Features
8.
Fast eigenspace decomposition of correlated images using their spatial and temporal properties
9.
An integrative overview of the open literature's empirical data on the indoor radiowave propagation channel's temporal properties
10.
Abstraction-based certification of temporal properties of software modules
11.
Controlling light-matter interactions and spatio-temporal properties of ultrashort laser pulses
12.
Verification of Business Process Specifications With Arithmetic and Data Dependencies
<<First
<Prev Next>
Last>>
Jump to
