Sign in

Formal Modeling and Verification of SDN-OpenFlow.

Miyoung KangEun-Young KangDae-Yon HwangBeom-Jin KimKi-Hyuk NamMyung-Ki ShinJin-Young Choi
Published in: ICST (2013)
Keyphrases
  • formal methods
  • model checking
  • formal model
  • formal analysis
  • artificial intelligence
  • real time
  • information systems
  • knowledge based systems
  • modeling framework