Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luo Liming
Component-Based Formal Modeling of PLC Systems
Journal of Applied Mathematics
Applied Mathematics
Related publications
Component-Based 3D Modeling of Dynamic Systems
Formal Modeling Self-Adaptive Intelligent Service Component Based on Extenics
International Journal of Online Engineering
Engineering
E-learning
Formal Modeling of Cyber-Physical Systems: Lessons Learn From Refinement and Proof Based Methods
Lecture Notes in Networks and Systems
Control
Computer Networks
Signal Processing
Systems Engineering
Communications
Component Design and Formal Validation of SFA Systems: A Case Study
Formal Aspects of Component Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Layered Formal Framework for Modeling of Cyber-Physical Systems
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Component-Based Workflow Systems Development
Decision Support Systems
Developmental
Arts
Information Systems
Educational Psychology
Humanities
Management
Management Information Systems
Toward a Formal Specification of Menu-Based Systems
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
