Publication:
Characterization and verification of correctness criteria for event-driven asynchronous programs

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.kuauthorÖzkan, Burcu Külahcıoğlu
dc.contributor.programComputer Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.coverage.spatialİstanbul
dc.date.accessioned2024-11-09T22:28:10Z
dc.date.issued2016
dc.format.extentviii, 153 l. : ill. ; 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/5476
dc.keywordsComputer aided verification
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.subjectAsynchronous transfer mode
dc.subjectBroadband communication systems
dc.subjectSoftware engineering
dc.subjectComputer-aided software engineering
dc.subjectAsynchronous programs
dc.subjectAndroid applications
dc.subjectMobile applications
dc.subjectProgramming language design
dc.titleCharacterization and verification of correctness criteria for event-driven asynchronous programs
dc.typeDissertation
dspace.entity.typePublication
local.contributor.kuauthorÖzkan, Burcu
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:
28051.pdf
Size:
4.03 MB
Format:
Adobe Portable Document Format
Download

Collections

Theses & Dissertations