Login / Signup
Distributed Verification of Rare Properties with Lightweight Importance Splitting Observers.
Cyrille Jégourel
Axel Legay
Sean Sedwards
Louis-Marie Traonouez
Published in:
CoRR (2015)
Keyphrases
</>
lightweight
wireless sensor networks
model checking
distributed environment
rfid tags
communication infrastructure
web services
data integration
authentication protocol