NTHRYS › PhD Assistance › Computer Networks Communications

Computer Networks Communications

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Network Protocol Formal Correctness Verification

Applying formal methods and mathematical modeling to prove correctness and safety properties of network communication protocols.