University of Illinois Chicago
Browse

Knowledge-based transformation of logic-based requirements specifications.

thesis
posted on 2025-05-30, 13:19 authored by Ray-Yuan. Sheu
Knowledge-based transformation of logic-based requirements specifications.

History

Language

  • en

Degree Grantor

University of Illinois at Chicago.

Degree Level

  • Doctoral

Usage metrics

    Categories

    No categories selected

    Keywords

    Computer Science.

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC