Model-based Concurrent Systems Design for Safety

Joong-Yong Park, Young-Won Park. Model-based Concurrent Systems Design for Safety. Concurrent Engineering: R&A, 12(4):287-294, 2004. [doi]

Abstract

Abstract is missing.