Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hồ Văn Hương
A Formal Specification of the Correctness Criteria for Concurrent Executions of a Transaction System in Real Time Databases.
Journal of Computer Science and Cybernetics
Related publications
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Structural Testing Criteria for Concurrent Programs Considering Loop Executions
A Logic for Knowledge, Correctness, and Real Time
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 Formal Specification of dMARS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Real-Time Transaction Processing
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
IEEE Transactions on Software Engineering
Software
