Process Algebraic Specification of Software Defined Networks.

Miyoung Kang Junkil Park Jin-Young Choi Ki-Hyuk Nam Myung-Ki Shin

Published in: CICSyN (2012)

Keyphrases

social networks
software systems
website
high level
user interface
requirements engineering
computer systems
formal specification
software requirements
database
development cycle
specification language
network design
diffusion process
network structure
software development
open source
e learning
neural network