Treffer: Model checking of software control systems

Title:
Model checking of software control systems
Authors:
Sharygina, Natalia Yevgenyevna
Contributors:
Browne, James C., Tesar, Delbert
Publication Year:
2002
Collection:
The University of Texas at Austin: Texas ScholarWorks
Subject Terms:
Automatic control--Data processing, Computer software, Software engineering
Document Type:
Dissertation thesis
File Description:
electronic; application/pdf
Language:
English
ISSN:
56968795
Relation:
b57227214; http://hdl.handle.net/2152/920; 3108507
Availability:
http://hdl.handle.net/2152/920
Rights:
Copyright 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.
Accession Number:
edsbas.6B057B1C
Database:
BASE

Weitere Informationen

text ; Mechanical Engineering