Publication:
Runtime checking of refinement for concurrent software components

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.authorElmas, Tayfun
dc.contributor.instituteKoç University Graduate School of Sciences and Engineering
dc.contributor.programElectrical and Computer Engineering
dc.date.accessioned2024-11-09T22:27:28Z
dc.date.issued2005
dc.descriptionxiii, 116 l. : ill. 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/5450
dc.languageEnglish
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.thesis.degreeMaster's Degree
dc.thesis.grantorİstanbul
dc.titleRuntime checking of refinement for concurrent software components
dc.typeThesis
dspace.entity.typePublication
relation.isAdvisorOfThesisf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isAdvisorOfThesis.latestForDiscoveryf8f73136-3271-4bac-844e-cc00e50a7e68

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