Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hong -Liang Xie
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Specification and Analysis of Real-Time Systems in Statecharts
Specification and Design Methodology for Real-Time Embedded Systems
A Visual Toolset for the Design of Real-Time Discrete-Event Systems
IEEE Transactions on Control Systems Technology
Control
Systems Engineering
Electrical
Electronic Engineering
SAP: Standard Arabic Profiling Toolset for Textual Analysis
International Journal of Machine Learning and Computing
Management
Computer Science Applications
Information Systems
Artificial Intelligence
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems
International Journal of Systems and Service-Oriented Engineering
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Formal Specification and Verification of Real-Time Systems Using Graph Grammars
Journal of the Brazilian Computer Society
Computer Science
Real Time IMU Simulator for Integrated Navigation Systems
The International Conference on Electrical Engineering
