Bureš, F., Ryšavý, O., Ščuglík, F., Švéda, M.: A Framework for Formal Specification of Embedded Systems, In: Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Los Alamitos, California, US, IEEE CS, 2005, p. 323-330, ISBN 0-7695-2308-0
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)