mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 156 elem 16 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.
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]
2.
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]
3.
Szekeres, Dániel
;
Majzik, István
Lazy Abstraction for Probabilistic Systems
In:
Proceedings of the 30th Minisymposium
Budapest, Magyarország :
Budapest University of Technology and Economics
(2023)
pp. 9-12. , 4 p.
DOI
Egyéb URL
Közlemény:33999238
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[33999238]
[Nyilvános]
4.
Szekeres, Dániel
;
Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
ACTA CYBERNETICA
Special Issue of the 13th Conference of PhD Students in Computer Science
pp. 1-41. , 41 p.
(2023)
DOI
Egyéb URL
Közlemény:33999210
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[33999210]
[Nyilvános]
5.
Graics, Bence
;
Molnár, Vince
;
Majzik, István
Component‐based specification, design and verification of adaptive systems
SYSTEMS ENGINEERING
26
:
5
pp. 567-589. , 23 p.
(2023)
DOI
WoS
Scopus
Egyéb URL
Közlemény:33739468
Nyilvános
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[33739468]
[Nyilvános]
6.
Lantos, Péter
;
Lövétei, István Ferenc
;
Dr. Majzik, István
Biztonság (safety) az elektronikus rendszerek fejlesztésében - A prolan Zrt. megoldása a PRORIS biztosítóberendezés fejlesztése során
VASÚTI VEZETÉKVILÁG
2023
:
1
pp. 3-10. , 8 p.
(2023)
Közlemény:33723066
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[33723066]
[Nyilvános]
7.
Graics, Bence
;
Majzik, Istvan
Integration Test Generation and Formal Verification for Distributed Controllers
In:
Proceedings of the 30th Minisymposium
Budapest, Magyarország :
Budapest University of Technology and Economics
(2023)
pp. 1-4. , 4 p.
Közlemény:33689503
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[33689503]
[Nyilvános]
8.
Földiák, M.
;
Marussy, K.
;
Varró, D.
;
Majzik, I.
System architecture synthesis for performability by logic solvers
In: Eugene, Syriani; Houari, Sahraoui (szerk.)
MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
New York, Amerikai Egyesült Államok :
Association for Computing Machinery (ACM)
(2022)
pp. 43-54. , 12 p.
DOI
Scopus
Közlemény:33282155
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[33282155]
[Nyilvános]
9.
Szekeres, Dániel
;
Majzik, István
Towards Abstraction-based Probabilistic Program Analysis
In: Jász, Judit; Bánhelyi, Balázs; Gergely, Tamás; Katona, Melinda; Kincses, Zoltán (szerk.)
The 13th Conference of PhD Students in Computer Science : Volume of Short Papers
Szeged, Magyarország :
Szegedi Tudományegyetem, Informatikai Intézet
(2022)
216 p.
p. 55
Közlemény:33104616
Nyilvános
Forrás
Egyéb konferenciaközlemény (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos
[33104616]
[Nyilvános]
10.
Graics, Bence
;
Molnár, Vince
;
Majzik, István
Contract-Based Specification and Test Generation for Adaptive Systems
In: Zamojski, Wojciech; Mazurkiewicz, Jacek; Sugier, Jarosław; Walkowiak, Tomasz; Kacprzyk, Janusz (szerk.)
Theory and Engineering of Dependable Computer Systems and Networks
Wrocław, Lengyelország :
Springer International Publishing
(2021)
pp. 136-145. Paper: Chapter 14 , 10 p.
DOI
Egyéb URL
Közlemény:32054791
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[32054791]
[Nyilvános]
2024-03-29 08:23
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás