Integration of model checking into software development processes
| Autor: | Xie, Fei, Browne, James C. |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2004 |
| Předmět: | |
| Popis: | Thesis (Ph. D.)--University of Texas at Austin, 2004. Supervisor: James C. Browne. Vita. Includes bibliographical references. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|