Publication:
Special issue: International Workshop on Runtime Verification 2007

Simple item page
dc.contributor.coauthorSokolsky, Oleg
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.facultymemberYes
dc.contributor.kuauthorTaşıran, Serdar
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.date.accessioned2024-11-10T00:08:23Z
dc.date.issued2010
dc.description.fulltextNo
dc.description.harvestedfromManual
dc.description.indexedbyWOS
dc.description.indexedbyScopus
dc.description.openaccessNO
dc.description.peerreviewstatusN/A
dc.description.publisherscopeInternational
dc.description.readpublishN/A
dc.description.sponsoredbyTubitakEuN/A
dc.description.studentonlypublicationNo
dc.description.studentpublicationNo
dc.description.versionN/A
dc.identifier.doi10.1093/logcom/exn074
dc.identifier.eissn1465-363X
dc.identifier.embargoN/A
dc.identifier.endpage650
dc.identifier.issn0955-792X
dc.identifier.issue3
dc.identifier.quartileQ4
dc.identifier.scopus2-s2.0-77952927098
dc.identifier.startpage649
dc.identifier.urihttps://doi.org/10.1093/logcom/exn074
dc.identifier.urihttps://hdl.handle.net/20.500.14288/16947
dc.identifier.volume20
dc.identifier.wos000279004000001
dc.keywordsRuntime verification
dc.keywordsFormal methods
dc.keywordsModel checking
dc.keywordsTemporal logic
dc.keywordsLTL
dc.keywordsSoftware monitoring
dc.keywordsAspect-oriented programming
dc.keywordsProgram analysis
dc.language.isoeng
dc.publisherOxford University Press
dc.relation.affiliationKoç University
dc.relation.collectionKoç University Institutional Repository
dc.relation.ispartofJournal of Logic and Computation
dc.relation.openaccessN/A
dc.rightsN/A
dc.subjectComputer science
dc.subjectFormal verification
dc.titleSpecial issue: International Workshop on Runtime Verification 2007
dc.typeOther
dspace.entity.typePublication
local.contributor.kuauthorTaşıran, Serdar
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isParentOrgUnitOfPublication8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isParentOrgUnitOfPublication.latestForDiscovery8e756b23-2d4a-4ce8-b1b3-62c794a8c164

Files

Collections

Publications without Fulltext