• DocumentCode
    1150549
  • Title

    Verification in layers

  • Author

    Ninane, Roger

  • Volume
    3
  • Issue
    2
  • fYear
    2005
  • Firstpage
    20
  • Lastpage
    24
  • fLanguage
    English
  • Journal_Title
    Electronics Systems and Software
  • Publisher
    iet
  • ISSN
    1479-8336
  • Type

    jour

  • Filename
    1499337