University of Illinois Chicago
Browse

Theory and application of Petri net reduction for Ada-tasking static analysis.

thesis
posted on 2025-05-30, 11:51 authored by Shengru. Tu
Theory and application of Petri net reduction for Ada-tasking static analysis.

History

Degree Grantor

University of Illinois at Chicago.

Degree Level

  • Doctoral

Language

  • en

Usage metrics

    Categories

    No categories selected

    Keywords

    Computer Science.

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC