Model Checking of Multi-Process Applications Using SBUML and GDB Yoshihito Nakagawa University of Tokyo Richard Potter Japan Science and Technology Agency

First Page		Document Content
Date: 2005-05-01 05:50:08		Model Checking of Multi-Process Applications Using SBUML and GDB Yoshihito Nakagawa University of Tokyo Richard Potter Japan Science and Technology Agency Add to Reading List Source URL: nicosia.is.s.u-tokyo.ac.jp Download Document from Source Website File Size: 74,43 KB Share Document on Facebook