View in EDS

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.

Saved in:
Bibliographic Details
Title: Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
Authors: Legat, Christoph1, Mund, Jakob2, Campetelli, Alarico2, Hackenberg, Georg2, Folmer, Jens1, Schütz, Daniel1, Broy, Manfred2, Vogel-Heuser, Birgit1
Source: Automatisierungstechnik; Nov2014, Vol. 62 Issue 11, p815-825, 11p
Database: Applied Science & Technology Source
FullText Text:
  Availability: 0
Header DbId: aci
DbLabel: Applied Science & Technology Source
An: 99523181
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Legat%2C+Christoph%22">Legat, Christoph</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AU" term="%22Mund%2C+Jakob%22">Mund, Jakob</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AU" term="%22Campetelli%2C+Alarico%22">Campetelli, Alarico</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AU" term="%22Hackenberg%2C+Georg%22">Hackenberg, Georg</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AU" term="%22Folmer%2C+Jens%22">Folmer, Jens</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AU" term="%22Schütz%2C+Daniel%22">Schütz, Daniel</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AU" term="%22Broy%2C+Manfred%22">Broy, Manfred</searchLink><relatesTo>2</relatesTo><br /><searchLink fieldCode="AU" term="%22Vogel-Heuser%2C+Birgit%22">Vogel-Heuser, Birgit</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Automatisierungstechnik%22">Automatisierungstechnik</searchLink>; Nov2014, Vol. 62 Issue 11, p815-825, 11p
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=99523181
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1515/auto-2014-1126
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 815
    Titles:
      – TitleFull: Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Legat, Christoph
      – PersonEntity:
          Name:
            NameFull: Mund, Jakob
      – PersonEntity:
          Name:
            NameFull: Campetelli, Alarico
      – PersonEntity:
          Name:
            NameFull: Hackenberg, Georg
      – PersonEntity:
          Name:
            NameFull: Folmer, Jens
      – PersonEntity:
          Name:
            NameFull: Schütz, Daniel
      – PersonEntity:
          Name:
            NameFull: Broy, Manfred
      – PersonEntity:
          Name:
            NameFull: Vogel-Heuser, Birgit
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 28
              M: 11
              Text: Nov2014
              Type: published
              Y: 2014
          Identifiers:
            – Type: issn-print
              Value: 01782312
          Numbering:
            – Type: volume
              Value: 62
            – Type: issue
              Value: 11
          Titles:
            – TitleFull: Automatisierungstechnik
              Type: main
ResultId 1