Bokor, P., Serafini, M., Sisak, Á., Pataricza, A. &
Suri, N.,
14/11/2007,
10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE,
p. 169-178 10 p.Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review