The following pages link to Dang Van Hung (Q557827):
Displaying 5 items.
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- Exploring optimal solution to hardware/software partitioning for synchronous model (Q2432215) (← links)
- Prefix and Projection onto State in Duration Calculus (Q2842576) (← links)
- On Verification of Linear Occurrence Properties of Real-Time Systems (Q2873689) (← links)
- Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs (Q3179394) (← links)
