Events

Information Systems Implementation and Modelling 2006 (ISIM'06)

Přerov 25.-27.4.2006

Organizing Committee (members from FIT)

Bartík Vladimír, Ing., Ph.D., UIFS FIT VUT
Kolář Dušan, doc. Dr. Ing., UIFS FIT VUT
Křivka Zbyněk, Ing., FIT VUT
Štefan Jan, neznámá, chairman

Programme Committee (members from FIT)

Hruška Tomáš, prof. Ing., CSc., UIFS FIT VUT
Kolář Dušan, doc. Dr. Ing., UIFS FIT VUT
Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT
Zendulka Jaroslav, doc. Ing., CSc., UIFS FIT VUT, chairman

Selected publications

2006RYCHLÝ Marek. Towards Verification of Systems of Asynchronous Concurrent Processes. In: Proceedings of 9th International Conference ISIM'06. Přerov, 2006, pp. 123-130. ISBN 80-86840-19-0.
 ZENDULKA Jaroslav, ed. Proceedings of 9th International Conference ISIM'06. Ostrava, 2006. ISBN 80-86840-19-0.

Your IPv4 address: 3.81.28.94
Switch to https