Formal modeling and verification of software-defined networking with multiple controllers

Miyoung Kang, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Formal modeling and verification of software-defined networking with multiple controllers'. Together they form a unique fingerprint.

Engineering & Materials Science