Dissertation/ Thesis
Formal methods for control engineering : a validated decision procedure for Nichols plot analysis
| Τίτλος: | Formal methods for control engineering : a validated decision procedure for Nichols plot analysis |
|---|---|
| Συγγραφείς: | Hardy, Ruth |
| Στοιχεία εκδότη: | University of St Andrews, 2006. |
| Έτος έκδοσης: | 2006 |
| Θεματικοί όροι: | 004.01, TJ223.M53H2, Automatic control--Computer programs--Mathematics, Formal methods (Computer science), Automatic theorem proving |
| Τύπος εγγράφου: | Thesis Or Dissertation |
| Γλώσσα: | English |
| Σύνδεσμος πρόσβασης: | https://ethos.blethoshyku.com/concern/thesis_or_dissertations/827855 |
| Αριθμός Καταχώρησης: | edsble.827855 |
| Βάση Δεδομένων: | British Library EThOS |
| Η περιγραφή δεν είναι διαθέσιμη |