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 Specification Language

Development of mathematical languages for unambiguously describing and proving correctness of communication protocols.