Font Size:
a
A
A
Keyword [Assertions]
Result: 1 - 15 | Page: 1 of 1
1.
On Similarity Between Preferential Structures
2.
Security Research On Migrating Workflow Instance Based On Temopral Assertions
3.
Design Of Integrated Logging-on System Of Power Enterprise Based On SRP And SAML
4.
Research On Stimulus Generation Technology For Interface Protocols Verification
5.
An Assertion-based Software Dynamic Update Technique
6.
Design And Implementation Of Android UI Error Automatic Detection System
7.
Toward attack-resistant distributed information systems by means of social trust
8.
An empirical evaluation of the effectiveness of JML assertions as test oracles
9.
On the role of assertions for conceptual modeling as enablers of composable simulation solutions
10.
Harmonizing data mining and static analysis to tackle hardware and system level verification
11.
A metrics-driven method for assessing reverse engineering tool capabilities used to reverse legacy source code components to design component abstractions
12.
Les assertions dans Java (French text)
13.
Theorem-proving guided development of formal assertions and their embedding in a high-level VLSI synthesis system
14.
SELF-CHECKING PROGRAMS: AN AXIOMATIC APPROACH TO THE VALIDATION OF PROGRAMS BY THE USE OF ASSERTIONS
15.
Proper:a Tool For Analyzing Termination And Assertions For Affine Probabilistic Programs
<<First
<Prev Next>
Last>>
Jump to
