1.
FORMAL ASPECTS OF COMPUTING 28 : 3 pp. 345-379. , 35 p. (2016)
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
  1. Meyers Bart. A multi-paradigm modelling approach to design and evolution of domain-specific modelling languages. (2016)
  2. 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
  3. * 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
  4. 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
  5. Anton Wijs et al. Compositional Model Checking with Incremental Counter-Example Construction. (2017) Megjelent: Computer Aided Verification pp. 570-590
  6. * 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
  7. * 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
  8. * 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
2025-02-17 18:06