Show simple item record

Files in this item

Thumbnail
Name:
RuthHardyPhDthesis2006_original_C.pdf
Size:
32.85Mb
Format:
PDF
View/Open

Formal methods for control engineering : a validated decision procedure for Nichols plot analysis

Item metadata

dc.contributor.authorHardy, Ruthen
dc.coverage.spatialvii, 284 p : ill. (some col.) 30 cm.en
dc.date.accessioned2021-04-08T09:22:09Z
dc.date.available2021-04-08T09:22:09Z
dc.date.issued2006
dc.identifier.urihttps://hdl.handle.net/10023/22798
dc.language.isoenen
dc.publisherUniversity of St Andrewsen
dc.subject.lccTJ223.M53H2
dc.subject.lcshAutomatic control--Computer programs--Mathematicsen
dc.subject.lcshFormal methods (Computer science)en
dc.subject.lcshAutomatic theorem provingen
dc.titleFormal methods for control engineering : a validated decision procedure for Nichols plot analysisen
dc.typeThesisen
dc.type.qualificationlevelDoctoralen
dc.type.qualificationnamePhD Doctor of Philosopyen
dc.publisher.institutionThe University of St Andrewsen
dc.contributor.institutionPhysics Thesesen


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.