View in EDS

Panellist position statement: some industrial experience with program verification.

Saved in:
Bibliographic Details
Title: Panellist position statement: some industrial experience with program verification.
Authors: Chapman R; Praxis High Integrity Systems. rod.chapman@praxis-his.com
Source: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences [Philos Trans A Math Phys Eng Sci] 2005 Oct 15; Vol. 363 (1835), pp. 2393-4.
Publication Type: Journal Article
Journal Info: Publisher: The Royal Society Country of Publication: England NLM ID: 101133385 Publication Model: Print Cited Medium: Print ISSN: 1364-503X (Print) Linking ISSN: 1364503X NLM ISO Abbreviation: Philos Trans A Math Phys Eng Sci Subsets: MEDLINE
Database: MEDLINE Ultimate
FullText Text:
  Availability: 0
Header DbId: mdl
DbLabel: MEDLINE Ultimate
An: 16188612
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Panellist position statement: some industrial experience with program verification.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AU" term="%22Chapman+R%22">Chapman R</searchLink>; Praxis High Integrity Systems. rod.chapman@praxis-his.com
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22101133385%22">Philosophical transactions. Series A, Mathematical, physical, and engineering sciences</searchLink> [Philos Trans A Math Phys Eng Sci] 2005 Oct 15; Vol. 363 (1835), pp. 2393-4.
– Name: TypePub
  Label: Publication Type
  Group: TypPub
  Data: Journal Article
– Name: TitleSource
  Label: Journal Info
  Group: Src
  Data: <i>Publisher: </i><searchLink fieldCode="PB" term="%22The+Royal+Society%22">The Royal Society </searchLink><i>Country of Publication: </i>England <i>NLM ID: </i>101133385 <i>Publication Model: </i>Print <i>Cited Medium: </i>Print <i>ISSN: </i>1364-503X (Print) <i>Linking ISSN: </i><searchLink fieldCode="IS" term="%221364503X%22">1364503X </searchLink><i>NLM ISO Abbreviation: </i>Philos Trans A Math Phys Eng Sci <i>Subsets: </i>MEDLINE
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=mdl&AN=16188612
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1098/rsta.2005.1652
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        StartPage: 2393
    Titles:
      – TitleFull: Panellist position statement: some industrial experience with program verification.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Chapman R
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 15
              M: 10
              Text: 2005 Oct 15
              Type: published
              Y: 2005
          Identifiers:
            – Type: issn-print
              Value: 1364-503X
          Numbering:
            – Type: volume
              Value: 363
            – Type: issue
              Value: 1835
          Titles:
            – TitleFull: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
              Type: main
ResultId 1