Items where Author is "Sisak, Á."

Contribution in Book/Report/Proceedings

Bokor, P. and Serafini, M. and Sisak, Á. and Pataricza, A. and Suri, Neeraj (2007) Sustaining property verification of synchronous dependable protocols over implementation. In: 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) :. IEEE, pp. 169-178. ISBN 0769530435