Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by He Jifeng
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Specification and Design Methodology for Real-Time Embedded Systems
Process Specification Framework in a Service Oriented Holonic Manufacturing Systems
Studies in Computational Intelligence
Artificial Intelligence
Specification and Analysis of Real-Time Systems in Statecharts
CoFI: The Common Framework Initiative for Algebraic Specification and Development
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Real Time Memory Manager for the Real Time Specification for Java
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
A Process Algebraic Framework for Modeling Resource Demand and Supply
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
If-2.0: A Validation Environment for Component-Based Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
