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

First Page	Meta Content
	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 Document Date: 2005-05-01 05:50:08 Open Document File Size: 74,43 KB Share Result on Facebook {"fault" {"faultstring" /

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