Project Details

Způsob výběru metody formální specifikace a verifikace komunikačních protokolů

Project Period: 1. 1. 2001 - 31. 12. 2001

Project Type: grant

Code: FR0099/2001/G1

Agency: Fond rozvoje vysokých škol MŠMT

Program:

English title
Selection of methods for formal specification and verification of communication protocols
Type
grant
Keywords

formal methods, verification, communication protocols, method of selection

Team members
Ráb Jaroslav, Ing. (UIVT FEI VUT) , research leader
Matoušek Petr, Ing. (UIVT FEI VUT) , team leader
Výšek Pavel, Ing. (FEI VUT) , team leader
Publications

2001

Back to top