Publication:
Techniques for runtime monitoring and static verification of concurrent software

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.advisorQadeer, Shaz
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.kuauthorElmas, Tayfun
dc.contributor.programComputer Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.coverage.spatialİstanbul
dc.date.accessioned2024-11-09T22:05:23Z
dc.date.issued2010
dc.format.extentxxvi, 388 l. : ill. 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/4805
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.subjectProgramming languages (Electronic computers)
dc.subjectJava (Computer program language)
dc.titleTechniques for runtime monitoring and static verification of concurrent software
dc.typeDissertation
dspace.entity.typePublication
local.contributor.kuauthorElmas, Tayfun
relation.isAdvisorOfThesisf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isAdvisorOfThesis.latestForDiscoveryf8f73136-3271-4bac-844e-cc00e50a7e68
relation.isOrgUnitOfPublication3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isOrgUnitOfPublication.latestForDiscovery3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery434c9663-2b11-4e66-9399-c863e2ebae43

Files

Original bundle

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

Collections

Theses & Dissertations