modeling, verification, network

Industrial Networks

A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks

General VNF Modeling

A VNF modeling approach for verification purposes

Network Modeling

A framework for verification-oriented user-friendly network function modeling

Automated Security Management

Automated Security Management for Virtual Services

VNF Modeling

A framework for user-friendly verification-oriented VNF modeling