Research Project:
Formal Functional Validation of Hardware and Software Systems

Simple item page
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.date.accessioned2024-12-29T10:40:32Z
dc.description.publisherscopeNational
dc.identifierCL.00137
dc.identifier.urihttps://hdl.handle.net/20.500.14288/25246
dc.titleFormal Functional Validation of Hardware and Software Systems
dc.title.alternativeFunctional Validation of Hardware-Softwa
dspace.entity.typeProject
local.contributor.authoridSerdar, Taşıran,
local.contributor.kuauthorTaşıran, Serdar
local.project.endDate11/01/10
local.project.startDate05/01/05
local.project.templateTB.ARDEB.3501
project.funder.identifierTÜBİTAK
project.funder.nameTÜBİTAK

Files

Collections

Projects