Project Details

European Research Training Network Segravis - Syntactis and Semantic Integration of Visual Modelling Techniques

Project Period: 31. 5. 2004 - 15. 5. 2005

Project Type: grant

Code: HPRN-CT-2002-00275

Agency: European Community

Program:

Type
grant
Team members
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Publications

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
Products

2008

  • Model checking Using Symbolic Execution, software, 2008
    Authors: Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro Detail
Back to top