doc. Ing. Ivan Jelínek, CSc.

Archive of PhD students

Formal Description of Adaptive Hypermedia System

Supporting Exploratory Testing by Automated Navigation Using the Model of System Under Test