Project information
Verification and Analysis of Large-Scale Computer Systems

Information

This project doesn't include Faculty of Medicine. It includes Faculty of Informatics. Official project website can be found on muni.cz.
Investor logo
Project Identification
GA201/09/1389
Project Period
1/2009 - 12/2011
Investor / Pogramme / Project type
Czech Science Foundation
MU Faculty or unit
Faculty of Informatics
Keywords
verification, model-checking, parallel algorithms

Publications

Total number of publications: 53


Previous 1 2 3 4 5 6 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info