Canyam
AI summaries for academic research
Home
Literature Help
Subscribe
Favorites
Tools
Analysis
Summary
Patents
Not logged in
Back
Journal Details
R
Runtime Verification
IF
0
Papers
1
Citations
0
Related Insights
0
subscribe
Journal Papers
1
Related Insights
0
Journal Papers
1
Publication Date
Publication Date
IF
Citations
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
RUNTIME VERIFICATION, RV 2015
IF
0
2015-11-15
13
OA
AI
Daian, Philip; Falcone, Ylies; Meredith, Patrick; Serbanuta, Traian Florin; Shiriashi, Shin'ichi; Iwai, Akihito; Rosu, Grigore
Share
Save
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}