The following pages link to Dang Van Hung (Q557827):
Displaying 10 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)
- A Theory of Duration Calculus with Application (Q3525019) (← links)
- (Q4787216) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900548) (← links)
- Integrated Formal Methods (Q5901616) (← links)
