Formal verification of X-machine models : towards formal development of computer-based systems

Autor:	Eleftherakis, George
Rok vydání:	2003
Předmět:	005.14
Druh dokumentu:	Electronic Thesis or Dissertation
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.400012 Zobrazit plný text záznamu