Project information

Verification and Analysis of Large-Scale Computer Systems

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
Investor logo

Publications

2012

2011

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