Search

Now showing items 1-10 of 120

Practice-oriented formal methods to support the software development of industrial control systems

Darvas, Daniel (2017)

Challenges and formal aspects of volunteer computing

Marosi, Attila Csaba (2016)

Extensions and generalization of the saturation algorithm in model checking

Molnár, Vince (2019)

Metamodel-based model generation and validation techniques with applications

Szatmári, Zoltán (2016)

Disquisition on pricing of telecommunication services and billing system functionalities

Ary, Bálint Dávid (Budapesti Műszaki és Gazdaságtudományi Egyetem, 2013)

Channel equalization and mobility management methods in new generation mobile communication systems

Knapp, Adam (2019)

A depressziós beszéd akusztikai-fonetikai jellemzőinek vizsgálata

Kiss, Gábor (2019)

Complex methods for automated X-ray image analysis

Orbán, Gergely Gyula (2017)

Advanced schemes for emerging mobility scenarios in the all-IP world

Bokor, László (Budapesti Műszaki és Gazdaságtudományi Egyetem, 2014)

Formal validation and model generation for domain-specific languages by logic solvers

Semeráth, Oszkár (2019)

1
2
3
4
. . .
12