BME MIT PhD Minisymposium, 2015, 22nd

Browse by

By Issue Date Authors Titles Subjects

Recent Submissions

Requirements towards a formal specification language for PLCs

Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique (2015)
Design and Implementation of On-line System Supervision for Beam Loss Monitoring Systems

Hajdu, Csaba F.; Dabóczi, Tamás; Zamantzas, Christos (2015)
Resiliency techniques for cloud-based applications

Bozóki, Szilárd; Pataricza, András (2015)
Using Data Mining Techniques for Estimating Printed Circuit Board Design Complexity

Pataki, András; Horváth, Gábor (2015)
Examination of the input dependence of data flow graph clustering

Wacha, Gábor; Fehér, Béla (2015)
Preprocession and Interpretation of Multielectrode Array Recordings

Cserpán, Dorottya; Somogyvári, Zoltán; Horváth, Gábor (2015)
A Framework for Formal Verification of Real-Time Systems

Tóth, Tamás; Majzik, István (2015)
Identification of Dependability Models from Large Observation Sets

Salánki, Ágnes; Pataricza, András (2015)