Formal Modeling and Verification of the Functionality of Electronic Urban Railway Control Systems Through a Case Study von Lukács, Gábor, Bartha, Tamás

Volltext

Improving Saturation-based Bounded Model Checking von Darvas, Dániel, Vörös, András, Bartha, Tamás

Volltext

Bounded saturation-based CTL model checking von Vörös, A, Darvas, D, Bartha, T

Volltext

Industrial applications of the PetriDotNet modelling and analysis tool von Vörös, András, Darvas, Dániel, Hajdu, Ákos, Klenik, Attila, Marussy, Kristóf, Molnár, Vince, Bartha, Tamás, Majzik, István

Volltext

Component-wise incremental LTL model checking von Molnár, Vince, Vörös, András, Darvas, Dániel, Bartha, Tamás, Majzik, István

Volltext

Extensions to the CEGAR Approach on Petri Nets von Hajdu, Ákos, Vörös, András, Bartha, Tamás, Mártonka, Zoltán

Volltext

Formal Verification of Complex Properties on PLC Programs von Darvas, Dániel, Fernández Adiego, Borja, Vörös, András, Bartha, Tamás, Blanco Viñuela, Enrique, González Suárez, Víctor M.

Volltext

Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications von Németh, Erzsébet, Bartha, Tamás

Volltext

New Search Strategies for the Petri Net CEGAR Approach von Hajdu, Ákos, Vörös, András, Bartha, Tamás

Volltext

Bounded saturation-based CTL model checking/Tokestatud kullastamisel pohinev arvutuspuude loogikas valjendatu mudelkontroll von Voros, Andras, Darvas, Daniel, Bartha, Tamas

Volltext

Dependability Evaluation of Web Service-Based Processes von Gönczy, László, Chiaradonna, Silvano, Di Giandomenico, Felicita, Pataricza, András, Bondavalli, Andrea, Bartha, Tamás

Volltext

Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System von Bartha, Tamás, Varga, István, Soumelidis, Alexandros, Szabé, Géza

Volltext

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research von Vörös, András, Darvas, Dániel, Molnár, Vince, Klenik, Attila, Hajdu, Ákos, Jámbor, Attila, Bartha, Tamás, Majzik, István

Volltext

Verification of Railway Control Systems Using Model Checking and CTL, Explained Through a Case Study von Lukács, Gábor, Bartha, Tamás

Volltext

Parallel Saturation Based Model Checking von Voros, Andras, Szabo, T., Jambor, Attila, Darvas, D., Horvath, Akos, Bartha, Tamas

Volltext

Probabilistic system-level fault diagnostic algorithms for multiprocessors von Bartha, Tamás, Selényi, Endre

Volltext

A szabadkömüvesség; kimerítö felvilágosításul a magyar intelligentia számára von Bartha, Tamás

Volltext bestellen

Probabilistic fault diagnosis in large, heterogeneous computing systems von Bartha, Tamas, Selenyi, Endre

Volltext

Saturation-Based Incremental LTL Model Checking with Inductive Proofs von Molnár, Vince, Darvas, Dániel, Vörös, András, Bartha, Tamás

Volltext

Bounded Saturation-based CTL Model Checking von András Vörös, Dániel Darvas, Tamás Bartha

Volltext