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
Nahoru