Detail projektu
European Research Training Network Segravis - Syntactis and Semantic Integration of Visual Modelling Techniques
Období řešení: 31. 5. 2004 - 15. 5. 2005
Typ projektu: grant
Kód: HPRN-CT-2002-00275
Agentura: Evropská unie
Program:
Typ
grant
Řešitelé
Křena Bohuslav, Ing., Ph.D.
(UITS FIT VUT)
Publikace
2004
- KŘENA Bohuslav. Preliminaries of Model Checking Based on Symbolic Execution. Miláno: Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis, 2004. Detail
Produkty
2008
- MUSE - model checking s využitím symbolického provádění, software, 2008
Autoři: Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro Detail