Search Results - "Formal methods (Computer science)"

  • Showing 1 - 3 results of 3
Refine Results
  1. Cover Image

    Verified derivative-based regular expression matching by Perry, Keegan Kyle

    Published 2026
    Subjects: “…Formal methods (Computer science)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  2. Cover Image

    Formal specification and verification of safety interlock systems: A comparative case study by Seotsanyana, Motlatsi

    Published 2008
    Subjects: “…Formal methods (Computer science)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:
  3. Cover Image

    Formal concept analysis applied to pattern matching and automata by Venter, Frederick Johannes

    Published 2021
    Subjects: “…Formal methods (Computer Science)…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Thesis
    Save to List
    Saved in:

Search Tools: