Model checking of software control systems

Simple item page
dc.contributor.advisorBrowne, James C.en
dc.contributor.advisorTesar, Delberten
dc.creatorSharygina, Natalia Yevgenyevnaen
dc.date.accessioned2008-08-28T21:39:33Zen
dc.date.accessioned2017-05-11T22:16:02Z
dc.date.available2008-08-28T21:39:33Zen
dc.date.available2017-05-11T22:16:02Z
dc.date.issued2002en
dc.descriptiontexten
dc.description.departmentMechanical Engineeringen
dc.format.mediumelectronicen
dc.identifierb57227214en
dc.identifier.oclc56968795en
dc.identifier.proqst3108507en
dc.identifier.urihttp://hdl.handle.net/2152/920en
dc.language.isoengen
dc.rightsCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.en
dc.subject.lcshAutomatic control--Data processingen
dc.subject.lcshComputer softwareen
dc.subject.lcshSoftware engineeringen
dc.titleModel checking of software control systemsen
dc.type.genreThesisen

Files

Collections

University of Texas at Austin