متابعة
Radek Kočí
Radek Kočí
بريد إلكتروني تم التحقق منه على fit.vutbr.cz
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Measurement of distance by single visual camera at robot sensor systems
R Doskocil, J Fischer, V Krivanek, A Stefek
Proceedings of 15th International Conference MECHATRONIKA, 1-7, 2012
182012
Object oriented Petri nets modelling techniques case study
R Koci, V Janousek, F Zboril Jr
2008 Second UKSIM European Symposium on Computer Modeling and Simulation …, 2008
162008
PNtalk: Concurrent language with MOP
V Janoušek, R Kocı
Proceedings of the CS&P’2003 Workshop, 271-282, 2003
162003
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems.
T Richta, V Janousek, R Kocí
PNSE+ ModPE 989, 203-217, 2013
152013
Úvod do softwarového inženýrství-Studijní opora
B Křena, R Kočí
FIT VUT v Brně, Interní materiál, Prosinec, 2010
142010
System design with object oriented petri nets formalism
R Kocí, V Janoušek
2008 The Third International Conference on Software Engineering Advances …, 2008
142008
Modeling and simulation-based design using Object-oriented Petri nets: a case study
R Kočí, V Janoušek
International Workshop on P etri N ets and S oftware E ngineering, 253, 2012
122012
Towards an open implementation of the PNtalk system
V Janoušek, R Kocı
Proceedings of the 5th EUROSIM Congress on Modeling and Simulation, 2004
122004
Simulation based design of control systems using DEVS and Petri Nets
R Kocı, V Janoušek
International Conference on Computer Aided Systems Theory, 849-856, 2009
112009
Simulation and design of systems with object oriented petri nets
V Janoušek, R Kocı
Proceedings of the 6th EUROSIM Congress on Modelling and Simulation, 9, 2007
112007
Úvod do softwarového inženýrství
B Křena, R Kočí
Študijní opora. FIT VUT Brno, 2006
112006
Towards model-based design with PNtalk
V Janoušek, R Kocı
Proceedings of the International Workshop MOSMIC’2005, 2005
112005
PNtalk project: current research direction
V Janoušek, R Kočí
Simulation Almanac 2005, 2005
112005
Framework for model-based design of multi-agent systems
F Zboril Jr, V Janousek, R Koci, F Zboril, Z Mazal
International Journal of Autonomic Computing 1 (2), 140-162, 2009
102009
The object oriented petri net component model
R Kocı, V Janoušek
The Tenth International Conference on Software Engineering Advances. Xpert …, 2015
92015
Dynamic Software Architecture for Distributed Embedded Control Systems.
T Richta, V Janousek, R Kocí
PNSE@ Petri Nets, 133-150, 2015
92015
CADaVISION: a simulation framework for machine vision prototyping
S Irgenfried, I Tchouchenkov, H Wörn, R Koci, P Hanacek, J Kunovski, ...
Proceedings of the Second International Conference on Computer Modelling and …, 2011
82011
Specification of requirements using unified modeling language and Petri Nets
R Kocı, V Janoušek
International Journal on Advances in Software Volume 10, Number 1 & 2, 2017, 2017
72017
Code generation for Petri nets-specified reconfigurable distributed control systems
T Richta, V Janousek, R Koci
Proceedings of 15th International Conference MECHATRONIKA, 1-7, 2012
72012
OOPN and DEVS formalisms for system specification and analysis
R Koc̆í, V Janous̆ek
2010 Fifth International Conference on Software Engineering Advances, 305-310, 2010
72010
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20