mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 97 elem 10 oldalon, 10 listázva, a(z) 2. oldal megjelenítve.
Következő oldal
Átlépés a keresőbe
In English
Megjelenítési opciók
Nyelv információ
Absztrakt
Típus információ
Megjegyzés
Státusz információ
Linkek
Csak független idézők
Idézők
Nincs
Szám
Rövid
Részletes
Teljes
Rendezés
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
Találatok
10
20
50
100
1000
5000
Mód váltás:
XML
JSON
Lista exportálása:
Irodalomjegyzékként
RIS
BIBTEX
11.
Serban, Andrada A.
;
Micskei, Zoltán
Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study
ACTA POLYTECHNICA HUNGARICA
21
:
8
pp. 87-106. , 20 p.
(2024)
DOI
WoS
Scopus
Közlemény:34727894
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[34727894]
[Nyilvános]
12.
Debreczeni, Máté
;
Klenik, Attila
;
Kocsis, Imre
Transaction Conflict Control in Hyperledger Fabric: a Taxonomy, Gaps, and Design for Conflict Prevention
IEEE ACCESS
12
pp. 18987-19008. , 22 p.
(2024)
DOI
WoS
Scopus
Egyéb URL
Közlemény:34560592
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[34560592]
[Nyilvános]
13.
Graics, Bence
;
Mondok, Milán
;
Molnár, Vince
;
Majzik, István
Model-Based Testing of Asynchronously Communicating Distributed Controllers
In: Jongmans, Sung-Shik; Cámara, Javier (szerk.)
Formal Aspects of Component Software : 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Cham, Svájc :
Springer Nature Switzerland
(2024)
pp. 23-44. Paper: Chapter 2 , 22 p.
DOI
Scopus
Egyéb URL
Közlemény:34504488
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34504488]
[Nyilvános]
14.
Babikian, Aren A.
;
Semeráth, Oszkár ✉
;
Varró, Dániel
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
50
:
1
pp. 48-68. , 21 p.
(2024)
DOI
WoS
Scopus
Egyéb URL
Közlemény:34375495
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[34375495]
[Egyeztetett]
15.
Somorjai, Márk
;
Dobos-Kovács, Mihály
;
Ádám, Zsófia
;
Bajczi, Levente
;
Vörös, András
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
402
pp. 105-117. , 13 p.
(2024)
DOI
Scopus
Egyéb URL
Közlemény:33784283
Nyilvános
Forrás Idéző
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[33784283]
[Nyilvános]
16.
Toldi, Balázs Ádám
;
Kocsis, Imre
Blockchain-Based, Confidentiality-Preserving Orchestration of Collaborative Workflows
INFOCOMMUNICATIONS JOURNAL
15
:
3
pp. 72-81. , 10 p.
(2023)
DOI
REAL
WoS
Scopus
Egyéb URL
Közlemény:34292157
Nyilvános
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[34292157]
[Nyilvános]
17.
Graics, Bence
;
Molnár, Vince
;
Majzik, István
Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers
In: Titolo, Laura; Cimatti, Alessandro (szerk.)
Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
Cham, Svájc :
Springer Nature Switzerland
(2023)
pp. 76-95. Paper: Chapter 5 , 20 p.
DOI
WoS
Scopus
Egyéb URL
Közlemény:34144059
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34144059]
[Nyilvános]
18.
Augusto, André
;
Belchior, Rafael
;
Kocsis, Imre
;
Gönczy, László
;
Vasconcelos, André
;
Correia, Miguel
CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains
In: IEEE - IEEE (szerk.)
2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
Piscataway (NJ), Amerikai Egyesült Államok :
IEEE
(2023)
pp. 1-9. , 9 p.
DOI
Egyéb URL
Közlemény:34112239
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 3
| Független: 3 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34112239]
[Nyilvános]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
19.
Kocsis, Imre
Digitális identitáskezelés átalakulóban: önrendelkezésű identitások
HIRADÁSTECHNIKA (1962)
LXXVIII.
:
1
pp. 25-31. Paper: 6 , 7 p.
(2023)
Egyéb URL
Közlemény:34034615
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[34034615]
[Nyilvános]
20.
Balogh, Marcell
;
Földvári, András
;
Varga, Pal
Digital Twins in Industry 5.0: Challenges in Modeling and Communication
In: Akkaya, K; Festor, O; Fung, C; Rahman, M A; Granville, L Z; dos Santos, C R A (szerk.)
NOMS 2023-2023 IEEE/IFIP Network Operations and Management Symposium
Piscataway (NJ), Amerikai Egyesült Államok :
IEEE
(2023)
pp. 1-6. , 6 p.
DOI
Scopus
Egyéb URL
Közlemény:34033399
Nyilvános
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 3
| Független: 1 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 3 | WoS/Scopus jelölt: 3 | DOI jelölt: 3
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34033399]
[Nyilvános]
Nyilvános idéző összesen: 3, Független: 1, Függő: 2, Nem jelölt: 0
2024-05-28 11:13
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás