Skip to main navigation Skip to search Skip to main content

Formal Model-based Validation for Tally Systems

  • Joseph Roland Kiniry
  • , Dermot Cochran
  • , Joseph Roland Kiniry
    • Siemens A/S
    • Technical University of Denmark

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

    Fingerprint

    Dive into the research topics of 'Formal Model-based Validation for Tally Systems'. Together they form a unique fingerprint.
    Sort by

    Keyphrases

    Computer Science