A model for real-time systems and technique for verifying them using timed process algebra.

thesis

posted on 2025-05-30, 13:06 authored by Yi-Te. Tseng

A model for real-time systems and technique for verifying them using timed process algebra.

History

Degree Grantor

University of Illinois at Chicago.

Degree Level

Doctoral

Language

en

Usage metrics

Categories

No categories selected

Keywords

Engineering, System Science.

Licence

Exports