Sciweavers

Share
CADE   2008 Automated Deduction
Wall of Fame | Most Viewed CADE-2008 Paper
CADE
2008
Springer
9 years 3 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source190
2Download preprint from source188
3Download preprint from source186
4Download preprint from source185
5Download preprint from source173
6Download preprint from source169
7Download preprint from source168
8Download preprint from source165
9Download preprint from source164
10Download preprint from source159
11Download preprint from source159
12Download preprint from source157
13Download preprint from source149
14Download preprint from source148
15Download preprint from source145
16Download preprint from source143
17Download preprint from source142
18Download preprint from source141
19Download preprint from source139
20Download preprint from source138
21Download preprint from source137
22Download preprint from source137
23Download preprint from source133
24Download preprint from source131
25Download preprint from source130
26Download preprint from source128
27Download preprint from source127
28Download preprint from source127
29Download preprint from source124
30Download preprint from source122
31Download preprint from source122
32Download preprint from source120
33Download preprint from source118
34Download preprint from source117
35Download preprint from source116
36Download preprint from source116
37Download preprint from source115
38Download preprint from source113
39Download preprint from source111
40Download preprint from source108
41Download preprint from source105
42Download preprint from source104
43Download preprint from source104
44Download preprint from source102
45Download preprint from source102
46Download preprint from source100
47Download preprint from source98
48Download preprint from source93
49Download preprint from source92
books