Publication:
Runtime checking of refinement for concurrent software components

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.kuauthorElmas, Tayfun
dc.contributor.programElectrical and Computer Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.coverage.spatialİstanbul
dc.date.accessioned2024-11-09T22:27:28Z
dc.date.issued2005
dc.format.extentxiii, 116 l. : ill. 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/5450
dc.language.isoeng
dc.publisherKoç University
dc.relation.collectionKU Theses and Dissertations
dc.rightsrestrictedAccess
dc.rights.copyrightsnote© All Rights Reserved. Accessible to Koç University Affiliated Users Only!
dc.subjectIntegrated software
dc.subjectSoftware engineering
dc.subjectFile conversion (Computer science), Software
dc.titleRuntime checking of refinement for concurrent software components
dc.typeThesis
dspace.entity.typePublication
local.contributor.kuauthorElmas, Tayfun
relation.isAdvisorOfThesisf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isAdvisorOfThesis.latestForDiscoveryf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery434c9663-2b11-4e66-9399-c863e2ebae43

Files

Original bundle

Now showing 1 - 1 of 1
Placeholder
Name:
366.pdf
Size:
1.13 MB
Format:
Adobe Portable Document Format
Download

Collections

Theses & Dissertations