Author:
Koci Radek,Janousek Vladimir,Jr. Frantisek Zboril
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Virtual Machines and Hypergraph Data/Code Models: Graph-Theoretic Representations of Lambda-Style Calculi;AI, IoT, Big Data and Cloud Computing for Industry 4.0;2023
2. Towards a model driven approach for integrating NWN models in CINCO;2022 2nd International Conference on New Technologies of Information and Communication (NTIC);2022-12-21
3. Verification of Petri Nets based Simulation Models using Coverage Metrics;Proceedings of the 3rd ACM SIGSIM Conference on Principles of Advanced Discrete Simulation;2015-06-10