Tarnai Géza. Vasúti központi forgalomirányító berendezések kezelőkészüléke és visszajelentő vágánytáblája kialakításának néhány kérdése. (1968) KÖZLEKEDÉSTUDOMÁNYI SZEMLE 0023-4362 18 11 489-493, 2674514
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2674514]
  1. Erdős K. Ember-gép kapcsolatok vizsgálata a vasútbiztosító berendezéseknél. (1988)
    Disszertáció/Egyetemi doktor (Disszertáció)/Tudományos[24728594] [Jóváhagyott]
    Független, Idéző: 24728594, Kapcsolat: 24728666
Tarnai G. Vasúti biztosítóberendezések jelfogóegységeinek gépi vizsgálata. (1984), 2890932
Disszertáció/Kandidátus (Disszertáció)/Tudományos[2890932]
  1. Nguyen Duc. Vasúti biztosítóberendezések diagnosztikája. (1989)
    Disszertáció/Kandidátus (Disszertáció)/Tudományos[24728593] [Jóváhagyott]
    Független, Idéző: 24728593, Kapcsolat: 24728593
  2. Baranyi E. Mikroszámítógépes vasúti biztosítóberendezések funkciónális tesztelése. (1989)
    Disszertáció/Egyetemi doktor (Disszertáció)/Tudományos[24728589] [Jóváhagyott]
    Független, Idéző: 24728589, Kapcsolat: 24728589
  3. Hrivnák I. Mikroszámítógépes szimuláció a vasútbiztosító technikában. (1989)
    Disszertáció/Egyetemi doktor (Disszertáció)/Tudományos[24728592] [Jóváhagyott]
    Független, Idéző: 24728592, Kapcsolat: 24728592
  4. Erdős K. Ember-gép kapcsolatok vizsgálata a vasútbiztosító berendezéseknél. (1988)
    Disszertáció/Egyetemi doktor (Disszertáció)/Tudományos[24728594] [Jóváhagyott]
    Független, Idéző: 24728594, Kapcsolat: 24728594
  5. Czifra Z. Vasútibiztosítóberendezések vizsgálata. (1986)
    Disszertáció/Egyetemi doktor (Disszertáció)/Tudományos[24728591] [Jóváhagyott]
    Független, Idéző: 24728591, Kapcsolat: 24728591
Parádi F et al. Mikroprocesszornij szimulator dla obucsenyija rabotnikov szluzsbi dvizsenyija. (1985) Megjelent: Aktuelnije problemii razvitija ZSD avtomatiki, telemechaniki i szvjaz pp. 99-102, 2890945
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2890945]
  1. Erdős K. Ember-gép kapcsolatok vizsgálata a vasútbiztosító berendezéseknél. (1988)
    Disszertáció/Egyetemi doktor (Disszertáció)/Tudományos[24728594] [Jóváhagyott]
    Független, Idéző: 24728594, Kapcsolat: 24728604
TARNAI G. SAFETY VERIFICATION FOR TRAIN TRAFFIC CONTROL COMMUNICATIONS. (1986) IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS 0733-8716 4 7 1118-1120, 2676609
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2676609]
  1. Bozsóki Z et al. Sínáramköri vevők biztonságának számítása a megbizhatóságelmélet segítségével. (1988) KÖZLEKEDÉSTUDOMÁNYI SZEMLE 0023-4362 XXXVIII 11 481-488
    Folyóiratcikk[24878145] [Jóváhagyott]
    Független, Idéző: 24878145, Kapcsolat: 24728596
  2. Csekő G. Mikroszámítógépes biztosítóberendezésekhez csatlakozó külsőtéri objektumok vezérlése és ellenőrzése. (1988)
    Disszertáció/Egyetemi doktor (Disszertáció)/Tudományos[24728598] [Jóváhagyott]
    Független, Idéző: 24728598, Kapcsolat: 24728598
  3. Erdős K. Ember-gép kapcsolatok vizsgálata a vasútbiztosító berendezéseknél. (1988)
    Disszertáció/Egyetemi doktor (Disszertáció)/Tudományos[24728594] [Jóváhagyott]
    Független, Idéző: 24728594, Kapcsolat: 24728599
Tarnai G. Functional Testing of Microcomputer Railway Interlocking Equipment. (1987) PERIODICA POLYTECHNICA-TRANSPORTATION ENGINEERING 0303-7800 1587-3811 15 2 161-169, 2890963
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2890963]
  1. Baranyi E. Mikroszámítógépes vasúti biztosítóberendezések funkciónális tesztelése. (1989)
    Disszertáció/Tudományos[24728659] [Jóváhagyott]
    Független, Idéző: 24728659, Kapcsolat: 24728659
  2. Csekő G. Mikroszámítógépes biztosítóberendezésekhez csatlakozó külsőtéri objektumok vezérlése és ellenőrzése. (1988)
    Disszertáció/Tudományos[24728660] [Jóváhagyott]
    Független, Idéző: 24728660, Kapcsolat: 24728660
Krbilova I et al. Testovanie Mikroprocesorovych Zabezpecovacich Zariadeni. (1988) Megjelent: Medzinárodná spolupráca Vysokej školy dopravy a spojov v Žiline pp. 265-272, 2890959
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2890959]
  1. Csekő G. Mikroszámítógépes biztosítóberendezésekhez csatlakozó külsőtéri objektumok vezérlése és ellenőrzése. (1988)
    Disszertáció/Nem besorolt (Disszertáció)/Tudományos[24728654] [Jóváhagyott]
    Független, Idéző: 24728654, Kapcsolat: 24728654
Tarnai G. A vasúti biztonságtechnika fejlődése a kulcsfüggőségtől a biztonsági szoftverig. (1989) VASÚTI BIZTOSÍTÓBERENDEZÉSI ÉS AUTOMATIZÁLÁSI SZEMLE 0209-4282 1989 10 194-204, 2912692
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2912692]
  1. Farkas A. Nagy megbizhatóságú mikroszámítógépes rendszerek a vasútbiztosító technikában. (1992)
    Disszertáció/Tudományos[24878172] [Jóváhagyott]
    Független, Idéző: 24878172, Kapcsolat: 24878172
Tarnai Géza. Hagyományos és mikroszámítógépes vasútbiztosító berendezések illesztése. (1990) KÖZLEKEDÉSTUDOMÁNYI SZEMLE 0023-4362 40 2 49-58, 2674501
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2674501]
  1. Farkas A. Nagy megbizhatóságú mikroszámítógépes rendszerek a vasútbiztosító technikában. (1992)
    Disszertáció/Tudományos[24878174] [Jóváhagyott]
    Független, Idéző: 24878174, Kapcsolat: 24878174
Szabó G. et al. Dependability Analysis of Interlocking Systems - A Comparison of the Probabilistic and the Deterministic Approaches. (1999) Megjelent: Elektro ’99 : 3rd international scientific conference pp. 7-12, 1277307
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1277307]
  1. JANOTA Aleš. UML – AN OBJECT ORIENTED APPROACH TO FORMAL SPECIFICATION OF SAFETY RELEVANT SYSTEMS. (2001) Megjelent: Proc. of the 4th international scientific conference ELEKTRO 2001, Section 2 & 3:Telecommunication systems and services & Contr... pp. 37-42
    Egyéb konferenciaközlemény[20821486] [Jóváhagyott]
    Független, Idéző: 20821486, Kapcsolat: 20821486
  2. Rastocny K. Quantitative Approach to Safety Assessment of the Railway Interlocking System.. (2000) Megjelent: Proceedings of the 2nd workshop on Computer Science and Information Technologies pp. 202-209
    Egyéb konferenciaközlemény[20821484] [Jóváhagyott]
    Független, Idéző: 20821484, Kapcsolat: 20821484
  3. Rastocny K et al. Relation between structures of an interlocking system and test diagnostics requirements. (1999) PERIOD POLYTECH TRANSPORT ENG 27 1-2 29-41
    Folyóiratcikk[20821485] [Jóváhagyott]
    Független, Idéző: 20821485, Kapcsolat: 20821485
Szabó G. et al. Automatic Fault-Tree Generation as a Support for Safety Studies of Railway Interlocking Systems. (2000) Megjelent: Proceedings of the IFAC Symposium on Control in Transportation Systems pp. 453-458, 1277309
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1277309]
  1. Getir Sinem et al. Supporting semi-automatic co-evolution of architecture and fault tree models. (2018) JOURNAL OF SYSTEMS AND SOFTWARE 0164-1212 142 115-135
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27569851] [Érvényesített]
    Független, Idéző: 27569851, Kapcsolat: 27373138
  2. Mourad Chebila. Simultaneous evaluation of safety integrity’s performance indicators with a generalized implementation of common cause failures. (2018) PROCESS SAFETY AND ENVIRONMENTAL PROTECTION 0957-5820 1744-3598 117 214-222
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27382776] [Jóváhagyott]
    Független, Idéző: 27382776, Kapcsolat: 27382776
  3. Marc Zeller. ArChes — Automatic generation of component fault trees from continuous function charts. (2017) Megjelent: Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on pp. 577-582
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[27116908] [Jóváhagyott]
    Független, Idéző: 27116908, Kapcsolat: 27116908
  4. Kai Höfig. Automated Failure Propagation using Inner Port Dependency Traces. (2015) Megjelent: 11th International ACM SIGSOFT Conference on Quality of Software Architectures pp. 123-128
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[24745120] [Jóváhagyott]
    Független, Idéző: 24745120, Kapcsolat: 24745120
  5. F Mohrle. Automated Compositional Safety Analysis Using Component Fault Trees. (2015) Megjelent: 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) pp. 1522-159
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[26657031] [Jóváhagyott]
    Független, Idéző: 26657031, Kapcsolat: 26657031
  6. Kai Höfig. ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures. (2015) Megjelent: 41st Euromicro Conference on Software Engineering and Advanced Applications (2015) pp. 167-176
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[25206103] [Jóváhagyott]
    Független, Idéző: 25206103, Kapcsolat: 25206103
  7. Kai Höfig et al. metaFMEA-A Framework for Reusable FMEAs. (2014) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 8222 110-122
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[24700582] [Jóváhagyott]
    Független, Idéző: 24700582, Kapcsolat: 24700582
  8. Filippides. Structural Equation Modelling for Causal Analysis Applied to Transport Systems. (2012) Megjelent: FORMS/FORMAT 2012 pp. 1-8
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[24700585] [Jóváhagyott]
    Független, Idéző: 24700585, Kapcsolat: 24700585
  9. A Majdara et al. Automated fault tree construction for a sample chemical plant. (2010) PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY 1748-006X 224 207-216
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23868856] [Jóváhagyott]
    Független, Idéző: 23868856, Kapcsolat: 23868856
  10. Stoytcheva N et al. The Use of CAD Systems for Investigation of Electronic Circuits Reliability and Safety and their Application in Education. (2003) Megjelent: ISSE 2003 –Integrated management of Electronic Material Production, 26th International Spring Seminar on Electronics Technology pp. 163-168
    Egyéb konferenciaközlemény[20821483] [Jóváhagyott]
    Független, Idéző: 20821483, Kapcsolat: 20821483
Tarnai G et al. Method for the development of a special railway interlocking subsystem. (2000) Megjelent: 9th IFAC Symposium on Control in Transportation Systems pp. 495-500, 2639015
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2639015]
  1. Michael Meyer. Methodische Analyse und generische Modellierung von Eisenbahnleit und - sicherungssystemen TU Braunschweig. (2003)
    Disszertáció/Tudományos[24728579] [Jóváhagyott]
    Független, Idéző: 24728579, Kapcsolat: 24728579
Tarnai Géza et al. Einsatz von formalen Methoden in die Eisenbahnsicherungstechnik. (2000) Megjelent: ZEL pp. 80-88, 2656320
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2656320]
  1. Michael Meyer. Methodische Analyse und generische Modellierung von Eisenbahnleit und - sicherungssystemen TU Braunschweig. (2003)
    Disszertáció/Tudományos[24728578] [Jóváhagyott]
    Független, Idéző: 24728578, Kapcsolat: 24728578
Tarnai G et al. Zusätzliche Aspekte zur Anwendung der formalen Techniken. (2001) SIGNAL UND DRAHT: RAILSIGNALLING UND TELECOMMUNICATION 0037-4997 93 7-8 42-45, 2639016
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2639016]
  1. M Antoni. Les réseaux de Petri pour la validation d'automatismes de sécurité aux postes d'aiguillage. (2009)
    Disszertáció/Tudományos[24728570] [Jóváhagyott]
    Független, Idéző: 24728570, Kapcsolat: 24728570
  2. Michael Meyer. Methodische Analyse und generische Modellierung von Eisenbahnleit und - sicherungssystemen TU Braunschweig. (2003)
    Disszertáció/Tudományos[24728581] [Jóváhagyott]
    Független, Idéző: 24728581, Kapcsolat: 24728581
Tarnai Géza et al. Application of the Safety Process for Traffic Control of Branch Lines. (2001) Megjelent: Radio-Based Operation on Branch Lines - Workshop pp. 67-76, 2656330
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2656330]
  1. Michael Meyer. Methodische Analyse und generische Modellierung von Eisenbahnleit und - sicherungssystemen TU Braunschweig. (2003)
    Disszertáció/Tudományos[24728582] [Jóváhagyott]
    Független, Idéző: 24728582, Kapcsolat: 24728582
Tarnai Géza et al. Software Specification and Development in the Domain of Railway Signalling. (2002) Megjelent: Workshop on Software specification of safety relevant transportation control tasks. 3rd Workshop of the DFG-Priority Program In... pp. 101-112, 2656332
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2656332]
  1. Jiri Zahradnik. Bepecnost zeleznicnych zabezpecovacich systemov. (2004) ISBN:8080702969
    Könyv[24728563] [Jóváhagyott]
    Független, Idéző: 24728563, Kapcsolat: 24728563
Krbilová I et al. Riziko a jeho zniovanie v elezničnej doprave. (2003) NOVA ZELEZNICNI TECHNIKA / NEW RAILWAY TECHNIQUE 1210-3942 4 25-28, 2639019
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2639019]
  1. Jiri Zahradnik. Bepecnost zeleznicnych zabezpecovacich systemov. (2004) ISBN:8080702969
    Könyv[24728563] [Jóváhagyott]
    Független, Idéző: 24728563, Kapcsolat: 24728564
Sághi B et al. Introduction of formal methods into railway signalling. (2003) Megjelent: ZEL2003 10th International Symposium pp. 151-156, 2639018
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2639018]
  1. Michael Meyer. Methodische Analyse und generische Modellierung von Eisenbahnleit und - sicherungssystemen TU Braunschweig. (2003)
    Disszertáció/Tudományos[24728583] [Jóváhagyott]
    Független, Idéző: 24728583, Kapcsolat: 24728583
Schnieder E. FORMS/FORMAT 2007: Formal Methods for Automation and Safety in Railway and Automotive Systeme. (2007) ISBN:97839376550903, 2614732
Könyv/Konferenciakötet (Könyv)/Tudományos[2614732]
  1. M Antoni. Les réseaux de Petri pour la validation d'automatismes de sécurité aux postes d'aiguillage. (2009)
    Disszertáció/PhD (Disszertáció)/Tudományos[24728568] [Jóváhagyott]
    Független, Idéző: 24728568, Kapcsolat: 24728568
2020-01-29 08:45