Formal testing of timed and probabilistic systems

First Page		Document Content
Date: 2011-11-10 05:03:58 Real-time computing Software testing Test case Requirement		Formal testing of timed and probabilistic systems Add to Reading List Source URL: antares.sip.ucm.es Download Document from Source Website File Size: 1,65 MB Share Document on Facebook