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

Simple item page
dc.contributor.advisorTaşıran, Serdar
dc.contributor.authorÖzkan, Burcu
dc.contributor.instituteKoç University Graduate School of Sciences and Engineering
dc.contributor.programComputer Engineering
dc.date.accessioned2024-11-09T22:28:10Z
dc.date.issued2016
dc.descriptionviii, 153 l. : ill. ; 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/5476
dc.keywordsComputer aided verification
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.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.thesis.degreeDoctoral Degree
dc.thesis.grantorİstanbul
dc.titleCharacterization and verification of correctness criteria for event-driven asynchronous programs
dc.typeDissertation
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:
28051.pdf
Size:
4.03 MB
Format:
Adobe Portable Document Format
Download

Collections

Theses & Dissertations