Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings

Details 詳細情報について

• CRID

  1130000798081921664

• NII Book ID

  BB27409708

• ISBN

  9783030037680

• Text Lang

  en

• Country Code

  sz

• Title Language Code

  en

• Place of Publication

  • Cham

• Classification

  • LCC: QA76.76.V47
  • DC23: 005.1/4

• Subject

  • LCSH: Computer science
  • LCSH: Computer software -- Verification -- Congresses
  • LCSH: Formal methods (Computer science) -- Congresses
  • LCSH: Computer software -- Testing -- Congresses
  • LCSH: Software engineering
  • LCSH: Computer system performance
  • LCSH: Logic design
  • LCSH: Computer industry

• Data Source

  • CiNii Books