The following pages link to Seung Joon Park (Q205609):
Displaying 10 items.
- (Q816189) (redirect page) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- (Q1265157) (redirect page) (← links)
- Verification of cache coherence protocols by aggregation of distributed transactions (Q1265158) (← links)
- On the use of the open boundary condition method in the numerical simulation of nonisothermal viscoelastic flow (Q1818671) (← links)
- Experience with applying formal methods to protocol specification and system architecture (Q1870218) (← links)
- (Q4817541) (← links)
- Verification: Theory and Practice (Q5305647) (← links)
- Formal Methods in Computer-Aided Design (Q5492994) (← links)
- Numerical simulation of three-dimensional visccoelastic flow using the open boundary condition method in coextrusion process (Q5944585) (← links)
