Research Project:
Combining Model Checking with Testing for Concurrent Programs

Simple item page
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.date.accessioned2024-12-29T10:40:19Z
dc.description.publisherscopeInternational
dc.identifierCL.00052
dc.identifier.urihttps://hdl.handle.net/20.500.14288/25161
dc.titleCombining Model Checking with Testing for Concurrent Programs
dc.title.alternativeCombining Model Checking with Testing fo
dspace.entity.typeProject
local.contributor.authoridSerdar, Taşıran,
local.contributor.kuauthorTaşıran, Serdar
local.project.endDate05/01/08
local.project.startDate01/01/07
local.project.templateOS.YDISI
project.funder.identifierMICROSOFT CORPORATION
project.funder.nameMICROSOFT CORPORATION

Files

Collections

Projects