Searching for authors named "Liang Xie" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
A Process Algebra and Tools for the Specification and Analysis of Resource-Bound Real-Time System
- … Insup Lee, Duncan Clarke and Hong-Liang Xie Department of Computer and Information Science University…
- Add To MetaCart
-
The Algebra of Communicating Shared Resources and Its Toolkit
- …, and Hong-Liang Xie There has been significant progress in the development of timed process algebra…
- Cited by 1 (0 self) – Add To MetaCart
-
The Specification and Schedulability Analysis of Real-Time Systems using ACSR
- …, Insup Lee and Hong-Liang Xie Department of Computer and Information Science University of Pennsylvania…
- Cited by 14 (12 self) – Add To MetaCart
-
Aspects on the Interpretation of Disturbances in System Identification
- …Aspects on the Interpretation of Disturbances in System Identification 1 Liang-Liang Xie Institute…
- Add To MetaCart
-
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems
- …-Abdallah, Jin-Young Choi, Duncan Clarke, Young Si Kim y , Insup Lee, Hong-Liang Xie Department of Computer…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 5.
