Towards Automated Verification of Autonomous Networks: A Case Study in Self-Configuration

All Authors

JaeSeung Song; Tiejun Ma; Peter Pietzuch

Publication Venue

Sixth IEEE PerCom Workshop on Pervasive Wireless Networking (PWN)

Publication Date

2010

Attachment

pwn10-fc_ver-final.pdf (863.74 KB)

Projects

SymNV

Short series title

PWN’10