https://m2.mtmt.hu/ hun 2026-10-24 08:55 JournalArticle 33739468 VALIDATED true Funding Agency and Grant Number: New National Excellence Program of the Ministry for Innovation and Technology [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; National Research, Development and Innovation Fund of Hungary [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; New National Excellence Program of the Ministry for Innovation and Technology [UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223] Funding text: National Research, Development and Innovation Fund of Hungary, Grant/Award Numbers: 2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02; New National Excellence Program of the Ministry for Innovation and Technology, Grant/Award Numbers: UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223 0 false 2026-10-23T10:59:04.866+0000 2023-09-13T06:20:11.248+0000 2023-04-06T14:07:37.001+0000 true 10068239 Graics Bence /api/author/10068239 Author Graics Bence (informatika) true 2025-03-21T01:58:21.317+0000 2025-03-21T01:58:21.494+0000 true 521 Szuper Admin /api/admin/521 Admin Szuper Admin (admin) true true false true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType Szakcikk (Folyóiratcikk) 101 true 10000059 true 1 /api/category/1 Category Tudományos true 1 Graics, Bence true true /api/journal/10011897 REVIEWED SYSTEMS ENGINEERING 1098-1241 1520-6858 true false 10011897 false 10011897 true 1098-1241 1520-6858 Journal 26 5 567 589 567 23 2023 true 2023 true true true false true false NONE 2026-10-23 false 5 0 5 3 2 5 5 5 2 5 5 3 3 3 2 0 5 3 5 3 0 5 5 Folyóiratcikk Journal Article 24 3 Könyvrészlet Chapter in Book 25 2 Könyv Book 23 0 Egyéb konferenciaközlemény Conference paper 31 0 Egyéb konferenciakötet Conference proceedings 32 0 Oltalmi formák Protection forms 26 0 Disszertáció Thesis 28 0 Egyéb Miscellaneous 29 0 Alkotás Achievement 22 0 Kutatási adat Research data 33 0 Folyóiratcikk Journal Article 24 0 0 0 Könyvrészlet Chapter in Book 25 0 0 0 Könyv Book 23 0 0 0 Egyéb konferenciaközlemény Conference paper 31 0 0 0 Egyéb konferenciakötet Conference proceedings 32 0 0 0 Oltalmi formák Protection forms 26 0 0 0 Disszertáció Thesis 28 0 0 0 Egyéb Miscellaneous 29 0 0 0 Alkotás Achievement 22 0 0 0 Kutatási adat Research data 33 0 0 0 2024 0 2 1 2 1 2025 0 2 2 2 2 2026 0 1 0 1 0 Q2 false 10001448 false false false 2023-05-31T14:31:46.797+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Méréstechnika és Információs Rendszerek Tanszék (BME / VIK) 3 9 2 3 0 true Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 107279933 /api/authorship/107279933 Graics, Bence [Graics, Bence (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 1 0.334 true false false Author 10068239 /api/author/10068239 Graics Bence (informatika) Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 107279934 /api/authorship/107279934 Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 2 0.333 false false false Author 10049620 /api/author/10049620 Molnár Vince (informatika) Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 107279935 /api/authorship/107279935 Majzik, István [Majzik, István (Műszaki informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT) 3 0.333 false true false Author 10001448 /api/author/10001448 Majzik István (Műszaki informatika) Majzik István true 10001448 true Majzik István true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 23341939 /api/publicationidentifier/23341939 DOI: 10.1002/sys.21675 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true IDENTICAL 10.1002/sys.21675 https://doi.org/10.1002/sys.21675 false true PublicationIdentifier 23531117 /api/publicationidentifier/23531117 WoS: 000963762000001 PlainSource 1 /api/publicationsource/1 WoS PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 000963762000001 https://www.webofscience.com/wos/woscc/full-record/000963762000001 false true PublicationIdentifier 23867354 /api/publicationidentifier/23867354 Scopus: 85152027960 PlainSource 3 /api/publicationsource/3 Scopus PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 85152027960 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85152027960 false true PublicationIdentifier 23341940 /api/publicationidentifier/23341940 Egyéb URL: https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675 PlainSource 40 /api/publicationsource/40 Egyéb URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link true true true Egyéb URL Other URL @@@ true true 40 true https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675 https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675 false true SjrRating 11365177 /api/sjrrating/11365177 sjr:Q2 (2023) Scopus - Computer Networks and Communications SYSTEMS ENGINEERING 1098-1241 1520-6858 176 0.49 journal RatingType 10002 /api/ratingtype/10002 sjr sjr true true ClassificationExternal 1705 /api/classificationexternal/1705 Scopus - Computer Networks and Communications true 1705 true Q2 DIRECT true true Reference 39941192 /api/reference/39941192 1. DOI: 10.1016/j.pmcj.2014.09.009 1 10.1016/j.pmcj.2014.09.009 false true Reference 39941193 /api/reference/39941193 2. Tamura G 2013: Towards Practical Runtime Verification and Validation of Self‐Adaptive Software Systems, p. 108 2 false true Reference 39941194 /api/reference/39941194 3. DOI: 10.1109/FOSE.2007.28 3 10.1109/FOSE.2007.28 false true Reference 39941195 /api/reference/39941195 4. HarveyD LoganP WaiteM LiddyT.Document the model don't model the document. InProceeding of the Systems Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering.2012:1‐11. 4 false true Reference 39941196 /api/reference/39941196 5. Heineman GT 2001: Putting the Pieces Together 5 false true Reference 39941197 /api/reference/39941197 6. DOI: 10.1007/978-3-642-54848-2_16 6 10.1007/978-3-642-54848-2_16 false true Reference 39941198 /api/reference/39941198 7. DOI: 10.1109/MS.2011.27 7 10.1109/MS.2011.27 false true Reference 39941199 /api/reference/39941199 8. Bensalem S 2016: Component‐based verification using incremental design and invariants., SoSyM, 15, p. 427 8 false true Reference 39941200 /api/reference/39941200 9. DOI: 10.1109/MC.2006.51 9 10.1109/MC.2006.51 false true Reference 39941201 /api/reference/39941201 10. KeX SierszeckiK AngelovC.COMDES‐II: a component‐based framework for generative development of distributed real‐time control systems. In13th IEEE International Conference on Embedded and Real‐Time Computing Systems and Applications (RTCSA).2007:199‐208., DOI: 10.1109/RTCSA.2007.29 10 10.1109/RTCSA.2007.29 false true Reference 39941202 /api/reference/39941202 11. WeynsD IftikharMU IglesiaDG AhmadT.A survey of formal methods in self‐adaptive systems. InProceedings of the Fifth International C* Conference on Computer Science and Software Engineering C3S2E '12.Association for Computing Machinery;2012:67‐79. 11 false true Reference 39941203 /api/reference/39941203 12. DOI: 10.1007/978-3-642-35813-5_15 12 10.1007/978-3-642-35813-5_15 false true Reference 39941204 /api/reference/39941204 13. MolnárV GraicsB VörösA MajzikI VarróD.The gamma statechart composition framework: design verification and code generation for component‐based reactive systems. In40th International Conference on Software Engineering (ICSE).ACM;2018:113‐116., DOI: 10.1145/3183440.3183489 13 10.1145/3183440.3183489 false true Reference 39941205 /api/reference/39941205 14. Graics B 2020: Mixed‐semantics composition of statecharts for the component‐based design of reactive systems., SoSyM, 19, p. 1483 14 false true Reference 39941206 /api/reference/39941206 15. DOI: 10.1023/A:1011227529550 15 10.1023/A:1011227529550 false true Reference 39941207 /api/reference/39941207 16. DOI: 10.1016/0167-6423(87)90035-9 16 10.1016/0167-6423(87)90035-9 false true Reference 39941208 /api/reference/39941208 17. DOI: 10.1007/978-3-030-76773-0_14 17 10.1007/978-3-030-76773-0_14 false true Reference 39941209 /api/reference/39941209 18. Smith DJ 2020: The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 18 false true Reference 39941210 /api/reference/39941210 19. SchneiderK SchueleT TrappM.Verifying the adaptation behavior of embedded systems. InProceedings of the 2006 International Workshop on Self‐Adaptation and Self‐Managing Systems SEAMS '06.Association for Computing Machinery;2006:16‐22., DOI: 10.1145/1137677.1137681 19 10.1145/1137677.1137681 false true Reference 39941211 /api/reference/39941211 20. BartelsB KleineM.A CSP‐based framework for the specification verification and implementation of adaptive systems. InProceedings of the 6th International Symposium on Software Engineering for Adaptive and Self‐Managing Systems SEAMS '11.Association for Computing Machinery;2011:158‐167., DOI: 10.1145/1988008.1988030 20 10.1145/1988008.1988030 false true Reference 39941212 /api/reference/39941212 21. Weyns D 2020: An Introduction to Self‐adaptive Systems: A Contemporary Software Engineering Perspective 21 false true Reference 39941213 /api/reference/39941213 22. DOI: 10.1007/978-3-642-02161-9_1 22 10.1007/978-3-642-02161-9_1 false true Reference 39941214 /api/reference/39941214 23. DOI: 10.1007/978-3-642-35813-5 23 10.1007/978-3-642-35813-5 false true Reference 39941215 /api/reference/39941215 24. Heaven W 2009: A Case Study in Goal‐Driven Architectural Adaptation, p. 109 24 false true Reference 39941216 /api/reference/39941216 25. QureshiNA PeriniA ErnstNA MylopoulosJ.Towards a continuous requirements engineering framework for self‐adaptive systems. In2010 First International Workshop on Requirements@Run.Time.2010:9‐16., DOI: 10.1109/RERUNTIME.2010.5628552 25 10.1109/RERUNTIME.2010.5628552 false true Reference 39941217 /api/reference/39941217 26. Lamsweerde A 2009: Requirements Engineering: From System Goals to UML Models to Software Specifications 26 false true Reference 39941218 /api/reference/39941218 27. DOI: 10.1109/TDSC.2006.33 27 10.1109/TDSC.2006.33 false true Reference 39941219 /api/reference/39941219 28. BaerPA ReichleR GeihsK.The SPICA development framework‐model‐driven software development for autonomous mobile robots. InIntelligent Autonomous Systems 10.IOS Press;2008:211‐220. 28 false true Reference 39941220 /api/reference/39941220 29. FoxJ.A formal orchestration model for dynamically adaptable services with COWS. InInternational Conference on Adaptive and Self‐Adaptive Systems and Applications.Citeseer;2011. 29 false true Reference 39941221 /api/reference/39941221 30. DOI: 10.1145/2555612 30 10.1145/2555612 false true Reference 39941222 /api/reference/39941222 31. GarlanD SchmerlB.Model‐based adaptation for self‐healing systems. InProceedings of the First Workshop on Self‐Healing Systems WOSS '02.Association for Computing Machinery;2002:27‐32., DOI: 10.1145/582128.582134 31 10.1145/582128.582134 false true Reference 39941223 /api/reference/39941223 32. CámaraJ LemosR.Evaluation of resilience in self‐adaptive systems using probabilistic model‐checking. In2012 7th International Symposium on Software Engineering for Adaptive and Self‐Managing Systems (SEAMS).2012:53‐62., DOI: 10.1109/SEAMS.2012.6224391 32 10.1109/SEAMS.2012.6224391 false true Reference 39941224 /api/reference/39941224 33. IftikharMU WeynsD.ActivFORMS: active formal models for self‐adaptation. InProceedings of the 9th International Symposium on Software Engineering for Adaptive and Self‐Managing Systems SEAMS 2014.Association for Computing Machinery;2014:125‐134., DOI: 10.1145/2593929.2593944 33 10.1145/2593929.2593944 false true Reference 39941225 /api/reference/39941225 34. MorenoGA CámaraJ GarlanD SchmerlB.Proactive self‐adaptation under uncertainty: A probabilistic model checking approach. InProceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering ESEC/FSE 2015.Association for Computing Machinery;2015:1‐12., DOI: 10.1145/2786805.2786853 34 10.1145/2786805.2786853 false true Reference 39941226 /api/reference/39941226 35. EbnenasirA.Designing run‐time fault‐tolerance using dynamic updates. InInternational Workshop on Software Engineering for Adaptive and Self‐Managing Systems (SEAMS '07).2007:15‐15., DOI: 10.1109/SEAMS.2007.5 35 10.1109/SEAMS.2007.5 false true Reference 39941227 /api/reference/39941227 36. Rouvoy R 2009: MUSIC: Middleware Support for Self‐Adaptation in Ubiquitous and Service‐Oriented Environments, p. 164 36 false true Reference 39941228 /api/reference/39941228 37. DOI: 10.1016/j.jss.2010.04.075 37 10.1016/j.jss.2010.04.075 false true Reference 39941229 /api/reference/39941229 38. DOI: 10.1016/j.jss.2009.06.057 38 10.1016/j.jss.2009.06.057 false true Reference 39941230 /api/reference/39941230 39. Hoare C 2021: Communicating Sequential Processes, p. 157 39 false true Reference 39941231 /api/reference/39941231 40. LiuY SunJ DongJS.An analyzer for extended compositional process algebras. InCompanion of the 30th International Conference on Software Engineering ICSE Companion '08.Association for Computing Machinery;2008:919‐920., DOI: 10.1145/1370175.1370187 40 10.1145/1370175.1370187 false true Reference 39941232 /api/reference/39941232 41. MateescuR PoizatP Salaün G. Behavioral adaptation of component compositions based on process algebra encodings. InProceedings of the Twenty‐Second IEEE/ACM International Conference on Automated Software Engineering ASE '07.Association for Computing Machinery;2007:385‐388., DOI: 10.1145/1321631.1321690 41 10.1145/1321631.1321690 false true Reference 39941233 /api/reference/39941233 42. Adler R 2011: Component‐based modeling and verification of dynamic adaptation in safety‐critical embedded systems., ACM Trans Embed Comput Syst, 10 42 false true Reference 39941234 /api/reference/39941234 43. TrappM AdlerR FörsterM JungerJ.Runtime adaptation in safety‐critical automotive systems. InProceedings of the 25th Conference on IASTED International Multi‐Conference: Software Engineering SE'07.2007:308‐315. 43 false true Reference 39941235 /api/reference/39941235 44. DOI: 10.1007/978-3-540-76650-6_6 44 10.1007/978-3-540-76650-6_6 false true Reference 39941236 /api/reference/39941236 45. ZhangJ ChengBHC.Model‐based development of dynamically adaptive software. InProceedings of the 28th International Conference on Software Engineering ICSE '06.Association for Computing Machinery;2006:371‐380., DOI: 10.1145/1134285.1134337 45 10.1145/1134285.1134337 false true Reference 39941237 /api/reference/39941237 46. DOI: 10.1109/TSE.2017.2738640 46 10.1109/TSE.2017.2738640 false true Reference 39941238 /api/reference/39941238 47. DOI: 10.1007/978-3-642-22110-1_47 47 10.1007/978-3-642-22110-1_47 false true Reference 39941239 /api/reference/39941239 48. GraicsB.Documentation of the Gamma Statechart Composition Framework v0.9 tech. rep.Budapest University of Technology and Economics Department of Measurement and Information Systems;2016.https://tinyurl.com/yeywrkd6 48 false true Reference 39941240 /api/reference/39941240 49. BehrmannG DavidA LarsenKG et al.Uppaal 4.0. InProceedings of the 3rd International Conference on the Quantitative Evaluation of Systems. Los Alamitos CA: IEEE Computer Society;2006:125‐126. 49 false true Reference 39941241 /api/reference/39941241 50. TóthT HajduA VörösA MicskeiZ MajzikI.Theta: a framework for abstraction refinement‐based model checking. In:StewartD WeissenbacherG eds.Proceedings of the 17th Conference on Formal Methods in Computer‐Aided Design.2017:176‐179., DOI: 10.23919/FMCAD.2017.8102257 50 10.23919/FMCAD.2017.8102257 false true Reference 39941242 /api/reference/39941242 51. Holzmann G 2011: The SPIN Model Checker: Primer and Reference Manual 51 false true Reference 39941243 /api/reference/39941243 52. LendvaiD.Scenario‐based modeling and analysis of reactive systems. tech. rep.Budapest University of Technology and Economics Department of Measurement and Information Systems;2020. 52 false true Reference 39941244 /api/reference/39941244 53. LendvaiD.Efficient scenario‐based verification of reactive systems in the Gamma framework. tech. rep.Budapest University of Technology and Economics Department of Measurement and Information Systems;2022. 53 false true Reference 39941245 /api/reference/39941245 54. DOI: 10.1093/comjnl/6.3.293 54 10.1093/comjnl/6.3.293 false true Reference 39941246 /api/reference/39941246 55. DOI: 10.1147/rd.32.0114 55 10.1147/rd.32.0114 false true Reference 39941247 /api/reference/39941247 56. DOI: 10.1145/4904.4999 56 10.1145/4904.4999 false true Reference 39941248 /api/reference/39941248 57. DOI: 10.1002/stvr.402 57 10.1002/stvr.402 false true Reference 39941249 /api/reference/39941249 58. Utting M 2007: Practical Model‐Based Testing: A Tools Approach 58 false true Reference 39941250 /api/reference/39941250 59. GraicsB MolnárV MajzikI.Integration test generation for state‐based components in the Gamma framework tech. rep.Budapest University of Technology and Economics Department of Measurement and Information Systems;2022. 59 false true Reference 39941251 /api/reference/39941251 60. NagySJ SzabóR VajdaML VörösA.Demonstrator for dependable edge‐based cyber‐physical systems. In2021 10th Latin‐American Symposium on Dependable Computing (LADC).IEEE;2021:1‐8., DOI: 10.1109/LADC53747.2021.9672569 60 10.1109/LADC53747.2021.9672569 false true /api/publication/33739468 Graics Bence et al. Component‐based specification, design and verification of adaptive systems. (2023) SYSTEMS ENGINEERING 1098-1241 1520-6858 26 5 567-589<div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence (<span class="authorship-author-name">Graics Bence</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince (<span class="authorship-author-name">Molnár Vince</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10001448"><a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">Majzik István (<span class="authorship-author-name">Majzik István</span> <span class="authorAux-mtmt"> Műszaki informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Méréstechnika és Információs Rendszerek Tanszék; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Méréstechnika és Információs Rendszerek Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;33739468" target="_blank">Component‐based specification, design and verification of adaptive systems</a></div> <div> <span class="journal-title">SYSTEMS ENGINEERING</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1098-1241">1098-1241</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1520-6858">1520-6858</a>)</span>: <span class="journal-volume">26</span> <span class="journal-issue">5</span> <span class="page"> pp 567-589 </span> <span class="year">(2023)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="10.1002/sys.21675" target="_blank" href="https://doi.org/10.1002/sys.21675"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000963762000001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/000963762000001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="85152027960" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85152027960"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675" target="_blank" href="https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21675"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Networks and Communications&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Hardware and Architecture&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> </div></OnlyViewableByAuthor> <div class="publication-citation" style="margin-left: 0.5cm;"> <span title="Nyilvános idézőközlemények összesen, említések nélkül" class="citingPub-count">Nyilvános idéző összesen: 5</span> | Független: 3 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 5 | Scopus jelölt:&nbsp;2 | WoS/Scopus jelölt:&nbsp;5 | DOI jelölt:&nbsp;5 </div> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;33739468&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 5 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 33739468</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2023.09.13. 08:20 Szatmári Erika (BME admin4) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: Funding Agency and Grant Number: New National Excellence Program of the Ministry for Innovation and Technology [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; National Research, Development and Innovation Fund of Hungary [2019-2.1.1-EUREKA-2019-00001, TKP2021-EGA-02]; New National Excellence Program of the Ministry for Innovation and Technology [UNKP-20-3-I-BME-42, UNKP-22-3-II-BME-223] ...</pre> </div></div>