mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 156 elem 16 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.
Dániel, Szekeres
;
Kristóf, Marussy
;
István, Majzik
Tensor-based reliability analysis of complex static fault trees
In: Michael, Paulitsch; Mario, Trapp (szerk.)
2021 17th European Dependable Computing Conference (EDCC)
Piscataway (NJ), Amerikai Egyesült Államok :
Institute of Electrical and Electronics Engineers (IEEE)
(2021)
pp. 33-40. , 8 p.
DOI
WoS
Scopus
Egyéb URL
Közlemény:32028453
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos
[32028453]
[Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
12.
Tóth, Tamás
;
Majzik, István
Configurable verification of timed automata with discrete variables
ACTA INFORMATICA
(Online first)
p. 0
(2020)
DOI
WoS
Scopus
Egyéb URL
Közlemény:31904623
Egyeztetett
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Szakcikk (Folyóiratcikk) | Tudományos
[31904623]
[Egyeztetett]
13.
Graics, Bence
;
Molnár, Vince
;
Vörös, András
;
Majzik, István
;
Varró, Dániel
Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems
SOFTWARE AND SYSTEMS MODELING
19
pp. 1483-1517. , 35 p.
(2020)
DOI
WoS
Scopus
Közlemény:31343505
Nyilvános
Forrás
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 11
| Független: 9 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 8 | Scopus jelölt: 7 | WoS/Scopus jelölt: 9 | DOI jelölt: 11
Szakcikk (Folyóiratcikk) | Tudományos
[31343505]
[Nyilvános]
Nyilvános idéző összesen: 11, Független: 9, Függő: 2, Nem jelölt: 0
14.
Bence, Graics
;
Majzik, István
Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework
In: Balázs, Renczes (szerk.)
Proceedings of the 27th PhD Mini-Symposium
Budapest, Magyarország :
Budapest University of Technology and Economics, Department of Measurement and Information Systems
(2020)
pp. 25-28. , 4 p.
Egyéb URL
Közlemény:31294892
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[31294892]
[Nyilvános]
15.
Bartha, Tamás
;
Majzik, István
Biztonságra tervezés és biztonságigazolás formális módszerei
Budapest, Magyarország :
Akadémiai Kiadó
(2019)
DOI
ISBN:
9789634542919
ISBN:
9789634543831
Egyéb URL
Közlemény:31806879
Nyilvános
Forrás
Könyv (Felsőoktatási tankönyv )
Oktatási
Felsőoktatási tankönyv (Könyv) | Oktatási
[31806879]
[Nyilvános]
16.
István, Majzik
;
Oszkár, Semeráth
;
Csaba, Hajdu
;
Kristóf, Marussy
;
Zoltán, Szatmári
;
Zoltán, Micskei
;
András, Vörös
;
Aren, A. Babikian
;
Dániel, Varró
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
In: Alexander, Pretschner; Sebastian, Voss
Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
Munich, Németország :
IEEE
(2019)
pp. 89-94. , 6 p.
DOI
ISBN:
9781728125367
WoS
Scopus
Közlemény:30748490
Admin láttamozott
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 30
| Független: 29 | Függő: 1 | Nem jelölt: 0 | WoS jelölt: 20 | Scopus jelölt: 23 | WoS/Scopus jelölt: 26 | DOI jelölt: 27
Konferenciaközlemény (Könyvrészlet) | Tudományos
[30748490]
[Admin láttamozott]
Nyilvános idéző összesen: 30, Független: 29, Függő: 1, Nem jelölt: 0
17.
Molnár, Vince
;
Majzik, István
Saturation Enhanced with Conditional Locality: Application to Petri Nets
In: Donatelli, Susanna; Haar, Stefan
Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Cham, Svájc :
Springer-Verlag
(2019)
486 p.
pp. 342-361. , 20 p.
DOI
WoS
Scopus
Közlemény:30707562
Egyeztetett
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0
Konferenciaközlemény (Könyvrészlet) | Tudományos
[30707562]
[Egyeztetett]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
18.
Marussy, Kristóf
;
Majzik, István
Architecture-based Dependability Analysis of Reconfigurable and Adaptive Systems
In: Pataki, Béla (szerk.)
Proceedings of the 26th Minisymposium of the Department of Measurement and Information Systems
Budapest, Magyarország :
BME Méréstechnika és Információs Rendszerek Tanszék
(2019)
32 p.
p. 17
Közlemény:30699590
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[30699590]
[Nyilvános]
19.
Rupert, Schlick
;
Michael, Felderer
;
Majzik, Istvan
;
Roberto, Nardone
;
Alexander, Raschke
;
Colin, Snook
;
Valeria, Vittorini
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods
LECTURE NOTES IN COMPUTER SCIENCE
11247
pp. 249-272. , 24 p.
(2018)
DOI
Scopus
Közlemény:30347129
Nyilvános
Forrás Idéző
Folyóiratcikk (Szakcikk )
Tudományos
Nyilvános idéző összesen: 4
| Független: 2 | Függő: 2 | Nem jelölt: 0 | Scopus jelölt: 4 | WoS/Scopus jelölt: 4 | DOI jelölt: 4
Szakcikk (Folyóiratcikk) | Tudományos
[30347129]
[Nyilvános]
Nyilvános idéző összesen: 4, Független: 2, Függő: 2, Nem jelölt: 0
20.
Kristóf, Marussy
;
István, Majzik
Constructing Dependability Analysis Models of Reconfigurable Production Systems
In: Reveliotis, S; Cappelleri, D; Dimarogonas, DV; Dotoli, M; Fanti, MP; Li, J; Lucena, V; Seatu, C; Xie, X; Zhu, K; Vogel-Heuser, Birgit; Lennartson, Bengt (szerk.)
2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)
Piscataway (NJ), Amerikai Egyesült Államok :
IEEE
,
IEEE Robotics and Automation Society
(2018)
pp. 1158-1163. Paper: 18293154 , 6 p.
DOI
WoS
Scopus
Közlemény:3398318
Nyilvános
Forrás Idéző
Könyvrészlet (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos
[3398318]
[Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
2024-03-28 18:15
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás