Dissertation/ Thesis
Formal methods for control engineering : a validated decision procedure for Nichols plot analysis
| Title: | Formal methods for control engineering : a validated decision procedure for Nichols plot analysis |
|---|---|
| Authors: | Hardy, Ruth |
| Publisher Information: | University of St Andrews, 2006. |
| Publication Year: | 2006 |
| Subject Terms: | 004.01, TJ223.M53H2, Automatic control--Computer programs--Mathematics, Formal methods (Computer science), Automatic theorem proving |
| Document Type: | Thesis Or Dissertation |
| Language: | English |
| Access URL: | https://ethos.blethoshyku.com/concern/thesis_or_dissertations/827855 |
| Accession Number: | edsble.827855 |
| Database: | British Library EThOS |
| Description not available. |