mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 57 elem 6 oldalon, 10 listázva, a(z) 1. 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
1.
Bajczi, Levente
;
Ádám, Zsófia
;
Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE
14572
pp. 330-334. Paper: Chapter 16 , 5 p.
(2024)
DOI
Egyéb URL
Közlemény:34768972
Nyilvános
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[34768972]
[Nyilvános]
2.
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
Scopus
Közlemény:34727894
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[34727894]
[Nyilvános]
3.
Wilhelm, I ✉
;
Dékány, É
;
Hatvani, IG
;
Fröhlich, G
;
Micskei, Z
;
Pach, PP
;
Toldy, A
;
Solymosi, K
;
Szentgáli-Tóth, B
;
Lengyel, B
A Fiatal Kutatók Akadémiájának javaslatai a magyarországi fiatal kutatók helyzetének javítására
MAGYAR TUDOMÁNY
184
:
12
pp. 1544-1565. , 7 p.
(2023)
DOI
Kiadónál
REAL
Zárolt
Közlemény:34412830
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[34412830]
[Egyeztetett]
4.
Horváth, Benedek
;
Molnár, Vince
;
Graics, Bence
;
Hajdu, Ákos
;
Ráth, István
;
Horváth, Ákos
;
Karban, Robert
;
Trancho, Gelys
;
Micskei, Zoltán
Pragmatic verification and validation of industrial executable SysML models
SYSTEMS ENGINEERING
26
:
6
pp. 693-714. , 22 p.
(2023)
DOI
WoS
Scopus
Egyéb URL
Közlemény:33809830
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 3
| Független: 3 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 2 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos
[33809830]
[Egyeztetett]
Nyilvános idéző összesen: 3, Független: 3, Függő: 0, Nem jelölt: 0
5.
Elekes, Márton
;
Molnár, Vince
;
Micskei, Zoltán ✉
Assessing the specification of modelling language semantics: a study on UML PSSM
SOFTWARE QUALITY JOURNAL
31
:
2
pp. 575-617. , 43 p.
(2023)
DOI
WoS
Scopus
Egyéb URL
Közlemény:33677595
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 2
| Független: 1 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 2
Szakcikk (Folyóiratcikk) | Tudományos
[33677595]
[Egyeztetett]
Nyilvános idéző összesen: 2, Független: 1, Függő: 1, Nem jelölt: 0
6.
Elekes, Márton
;
Micskei, Zoltán
Towards Testing the UML PSSM Test Suite
In: Andrey, Brito; Fernando, Pedone (szerk.)
2021 10th Latin-American Symposium on Dependable Computing (LADC)
Piscataway (NJ), Amerikai Egyesült Államok :
IEEE
(2021)
pp. 1-4. , 4 p.
DOI
Scopus
Egyéb URL
Közlemény:32616888
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[32616888]
[Egyeztetett]
7.
Horváth, Benedek
;
Graics, Bence
;
Hajdu, Ákos
;
Micskei, Zoltán
;
Molnár, Vince
;
Ráth, István
;
Andolfato, Luigi
;
Gomes, Ivan
;
Karban, Robert
Model checking as a service: Towards pragmatic hidden formal methods
In: Esther, Guerra; Ludovico, Iovino (szerk.)
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
New York, Amerikai Egyesült Államok :
Association for Computing Machinery (ACM)
(2020)
Paper: 37 , 5 p.
DOI
Scopus
Egyéb URL
Közlemény:31647412
Admin láttamozott
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 7
| Független: 6 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 5 | WoS/Scopus jelölt: 6 | DOI jelölt: 7
Konferenciaközlemény (Könyvrészlet) | Tudományos
[31647412]
[Admin láttamozott]
Nyilvános idéző összesen: 7, Független: 6, Függő: 1, Nem jelölt: 0
8.
Honfi, Dávid
;
Micskei, Zoltán ✉
White-box software test generation with Microsoft Pex on open source C# projects: A dataset
DATA IN BRIEF
31
Paper: 105962 , 10 p.
(2020)
DOI
WoS
Scopus
Egyéb URL
Közlemény:31372840
Admin láttamozott
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Szakcikk (Folyóiratcikk) | Tudományos
[31372840]
[Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
9.
Kulcsar, Geza
;
Koltai, Kadosa
;
Tanyi, Szvetlin
;
Peceli, Balint
;
Horvath, Akos
;
Micskei, Zoltan
;
Varga, Pal
From Models to Management and Back: Towards a System-of-Systems Engineering Toolchain
In: IEEE (szerk.)
NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium: Management in the Age of Softwarization and Artificial Intelligence
Piscataway (NJ), Amerikai Egyesült Államok :
IEEE
(2020)
Paper: 9110310 , 6 p.
DOI
WoS
Scopus
Egyéb URL
Közlemény:31347211
Admin láttamozott
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 13
| Független: 7 | Függő: 6 | Nem jelölt: 0 | WoS jelölt: 7 | Scopus jelölt: 10 | WoS/Scopus jelölt: 11 | DOI jelölt: 9
Konferenciaközlemény (Könyvrészlet) | Tudományos
[31347211]
[Admin láttamozott]
Nyilvános idéző összesen: 13, Független: 7, Függő: 6, Nem jelölt: 0
10.
Honfi, David
;
Micskei, Zoltan
Automated Isolation for White-box Test Generation
INFORMATION AND SOFTWARE TECHNOLOGY
125
Paper: 106319 , 16 p.
(2020)
DOI
WoS
Scopus
Egyéb URL
Közlemény:31305933
Nyilvános
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 3
| Független: 2 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 1 | Scopus jelölt: 2 | WoS/Scopus jelölt: 2 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos
[31305933]
[Nyilvános]
Nyilvános idéző összesen: 3, Független: 2, Függő: 1, Nem jelölt: 0
2024-05-08 02:56
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás