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.authorElmas, Tayfun
dc.contributor.instituteKoç University Graduate School of Sciences and Engineering
dc.contributor.programComputer Engineering
dc.date.accessioned2024-11-09T22:05:23Z
dc.date.issued2010
dc.descriptionxxvi, 388 l. : ill. 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/4805
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.subjectProgramming languages (Electronic computers)
dc.subjectJava (Computer program language)
dc.thesis.degreeDoctoral Degree
dc.thesis.grantorİstanbul
dc.titleTechniques for runtime monitoring and static verification of concurrent software
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:
234.pdf
Size:
5.23 MB
Format:
Adobe Portable Document Format
Download

Collections

Theses & Dissertations