Közlemény:3025948 Egyeztetett Forrás
Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 8 | Független: 4
| Függő: 4 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6
| DOI jelölt: 6
Nyelv: Angol Szakcikk (Folyóiratcikk) | Tudományos[3025948] [Egyeztetett]
Nyilvános idéző összesen:
8,
Független: 4, Függő: 4, Nem jelölt: 0
Meyers Bart. A multi-paradigm modelling approach to design and evolution of domain-specific
modelling languages. (2016)
Vajk István et al. BME VIK Annual Research Report on Electrical Engineering and Computer
Science 2015. (2016) PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE
2064-5260 2064-5279 60 1 1-36
* Vörös András et al. PetriDotNet 1.5: Extensible Petri net editor and analyser for
education and research. (2016) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349
9698 Torun 123-132
Charaf H. et al. BME VIK annual research report on electrical engineering and computer
science 2016. (2017) PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE
2064-5260 2064-5279 61 2 83-115
Anton Wijs et al. Compositional Model Checking with Incremental Counter-Example Construction.
(2017) Megjelent: Computer Aided Verification pp. 570-590
* Vince Molnár et al. Constraint Programming with Multi-valued Decision Diagrams: A
Saturation Approach. (2017) Megjelent: Proceedings of the 24th PhD Mini-Symposium
(MINISY@DMIS 2017) pp. 54-57
* Vörös András et al. Industrial Applications of the PetriDotNet Modelling and Analysis
Tool. (2018) SCIENCE OF COMPUTER PROGRAMMING 0167-6423 1872-7964 157 17-40
* Molnár Vince et al. Saturation Enhanced with Conditional Locality: Application to
Petri Nets. (2019) Megjelent: Application and Theory of Petri Nets and Concurrency
pp. 342-361