Formal verification of time-triggered systems

Autor:	Pike, Lee.
Jazyk:	angličtina
Rok vydání:	2006
Předmět:	Computer science.
Popis:	Thesis (Ph.D.)--Indiana University, Dept. of Computer Science, 2006. Source: Dissertation Abstracts International, Volume: 67-04, Section: B, page: 2086. Adviser: Steven D. Johnson. "Title from dissertation home page (viewed June 20, 2007)."
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3215296 Zobrazit plný text záznamu