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

  • KŘENA Bohuslav. A Case Study: Modelling Alternating Bit Protocol by PNtalk. In: Proceedings of 36th International Conference MOSIS'02 Modelling and Simulation of Systems. Vol. I.. Ostrava, 2002, pp. 65-72. ISBN 80-85988-71-2. Detail
  • KŘENA Bohuslav, VOJNAR Tomáš and ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, p. 6. Detail
Back to top