Seung Joon Park

Available identifiers

zbMath Open park.seungjoonMaRDI QIDQ205609

List of research outcomes

Publication	Date of Publication	Type
Verification: Theory and Practice	2010-03-23	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Verifying time partitioning in the DEOS scheduling kernel	2006-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4817541	2004-09-24	Paper
Experience with applying formal methods to protocol specification and system architecture	2003-05-11	Paper
Numerical simulation of three-dimensional visccoelastic flow using the open boundary condition method in coextrusion process	2002-02-27	Paper
On the use of the open boundary condition method in the numerical simulation of nonisothermal viscoelastic flow	2001-01-11	Paper
Verification of cache coherence protocols by aggregation of distributed transactions	1999-01-11	Paper

Research outcomes over time

This page was built for person: Seung Joon Park