Prof Ing. Vondrak, Ivo, Technical University of Ostrava.
Approaches to business modeling. Formal methods for specification and analysis. Software Tools.
Approaches to business modeling. Formal methods for specification and analysis. Software Tools.