Conference
View in EDS

Design of verified logic control programs

Bibliographic Details
Title: Design of verified logic control programs
Authors: Lohmann, Sven, Lan Anh Dinh Thi, Stursberg, Olaf
Source: 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE. :1855-1860 Oct, 2006
Relation: 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control
Database: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.4776923
RelevancyScore: 931
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 931.1240234375
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Design of verified logic control programs
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Lohmann%2C+Sven%22">Lohmann, Sven</searchLink><br /><searchLink fieldCode="AR" term="%22Lan+Anh+Dinh+Thi%22">Lan Anh Dinh Thi</searchLink><br /><searchLink fieldCode="AR" term="%22Stursberg%2C+Olaf%22">Stursberg, Olaf</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE. :1855-1860 Oct, 2006
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.4776923
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/CACSD-CCA-ISIC.2006.4776923
    PhysicalDescription:
      Pagination:
        StartPage: 1855
    Titles:
      – TitleFull: Design of verified logic control programs
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Lohmann, Sven
      – PersonEntity:
          Name:
            NameFull: Lan Anh Dinh Thi
      – PersonEntity:
          Name:
            NameFull: Stursberg, Olaf
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 10
              Type: published
              Y: 2006
          Identifiers:
            – Type: isbn-print
              Value: 0780397975
            – Type: isbn-print
              Value: 9780780397972
            – Type: issn-print
              Value: 21653011
            – Type: issn-print
              Value: 2165302X
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE
              Type: main
ResultId 1