Gyűjtemény: BME MIT PhD Minisymposium, 2015, 22nd

Archívum: Műegyetem Digitális Archívum
Tárolt tételek száma:8

  • Tételek
Szűkítés: Eleje Előző 1 - 8 / 8 Következő Vége
A Framework for Formal Verification of Real-Time Systems
Tartalom | Metaadatok
Tóth, Tamás; Majzik, István
Design and Implementation of On-line System Supervision for Beam Loss Monitoring Systems
Tartalom | Metaadatok
Hajdu, Csaba F.; Dabóczi, Tamás; Zamantzas, Christos
Examination of the input dependence of data flow graph clustering
Tartalom | Metaadatok
Wacha, Gábor; Fehér, Béla
Identification of Dependability Models from Large Observation Sets
Tartalom | Metaadatok
Salánki, Ágnes; Pataricza, András
Preprocession and Interpretation of Multielectrode Array Recordings
Tartalom | Metaadatok
Cserpán, Dorottya; Somogyvári, Zoltán; Horváth, Gábor
Requirements towards a formal specification language for PLCs
Tartalom | Metaadatok
Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique
Resiliency techniques for cloud-based applications
Tartalom | Metaadatok
Bozóki, Szilárd; Pataricza, András
Using Data Mining Techniques for Estimating Printed Circuit Board Design Complexity
Tartalom | Metaadatok
Pataki, András; Horváth, Gábor