Search

Now showing items 1-7 of 7

Software Model Checking with a Combination of Explicit Values and Predicates

Bajkai, Viktória Dorina; Hajdu, Ákos (2019)

Data Quality and Usability Requirement Analysis with Visualization Techniques and Domain-specific Constraints

Burján, Dezső; Gönczy, László (2019)

Measuring Quality of Datasets Using Prediction Explanation

Szántó, Tamás; Micskei, Zoltán (2019)

Model Checking and Test Generation: Towards a Combined Approach to Software Verification

Dobos-Kovács, Mihály; Vörös, András (2019)

Increasing the Accuracy of Measuring Heart Rate Variability and Pulse Wave Transit Time

Nagy, Péter; Jobbágy, Ákos (2019)

Design for Dependability of Cyber-Physical Systems

Földvári, András; Pataricza, András (2019)

Analysis of Distributed Multi-Channel Active Noise Cancelling Algorithms

Varga, Balázs; Orosz, György (2019)