View in EDS

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

Saved in:
Bibliographic Details
Title: Formal methods for control engineering : a validated decision procedure for Nichols plot analysis
Authors: Hardy, Ruth
URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.827855
Database: OpenDissertations
FullText Text:
  Availability: 0
Header DbId: ddu
DbLabel: OpenDissertations
An: ddu.oai.ethos.bl.uk.827855
AccessLevel: 6
PubType: Dissertation/ Thesis
PubTypeId: dissertation
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Formal methods for control engineering : a validated decision procedure for Nichols plot analysis
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Hardy%2C+Ruth%22">Hardy, Ruth</searchLink>
– Name: URL
  Label: URL
  Group: URL
  Data: <link linkTarget="URL" linkTerm="https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.827855" linkWindow="_blank">https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.827855</link>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=ddu&AN=ddu.oai.ethos.bl.uk.827855
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: 004.01
        Type: general
      – SubjectFull: TJ223.M53H2 ; Automatic control--Computer programs--Mathematics ; Formal methods (Computer science) ; Automatic theorem proving
        Type: general
    Titles:
      – TitleFull: Formal methods for control engineering : a validated decision procedure for Nichols plot analysis
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Hardy, Ruth
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2006
ResultId 1