Researchers' Proposals

Methodology for FDT-based development of protocols

Methodology of modelling and testing of communication protocols, systems engineering by the use of the methods formal technic