NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 2 of 2 (0.096 seconds)

Spelling suggestions: "subject:"computer programs automatic control."" "subject:"computer programs 2automatic control.""

1

Formal verification of computer controlled systems

Harutunian, Shant, January 1900 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2007. / Vita. Includes bibliographical references.
Computer programs Automatic control.
2

Emulation framework for testing higher level control methodology /

Ennulat, Harold W. January 1992 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1992. / Vita. Abstract. Includes bibliographical references (leaves 99-104). Also available via the Internet.

Page generated in 0.0986 seconds