Project Details

Metody formální analýzy a verifikace v objektově orientovaných Petriho sítích

Project Period: 1. 1. 2002 - 31. 12. 2002

Project Type: grant

Code: FR1948/2002/G1

Agency: Fond rozvoje vysokých škol MŠMT

Program:

Type
grant
Team members
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT) , research leader
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT) , team leader
Publications

2002

Back to top