Login / Signup
VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations.
Jinghao Shi
Shuvendu K. Lahiri
Ranveer Chandra
Geoffrey Challen
Published in:
CoRR (2018)
Keyphrases
</>
model driven
data driven
lightweight
formal analysis
real world
cooperative
service oriented
model driven engineering
mobile devices
business intelligence
data integration
service oriented architecture