Vissza |
Lövei László; Tejfel Máté; Mészáros Mónika; Horváth Zoltán; Kozsik Tamás: Comparing specification with proved properties of clean dynamics : [abstract].
Mészáros Mónika: Proving quality of service constraints of multimedia systems : [abstract].