Conference
Προβολή σε EDS

Deciding Branching Hyperproperties for Real Time Systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Deciding Branching Hyperproperties for Real Time Systems
Συγγραφείς: Deka, Nabarun, Zhang, Minjian, Chadha, Rohit, Viswanathan, Mahesh
Πηγή: 2024 IEEE 37th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2024 IEEE 37th. :65-79 Jul, 2024
Relation: 2024 IEEE 37th Computer Security Foundations Symposium (CSF)
Βάση Δεδομένων: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.10664274
RelevancyScore: 1076
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 1076.087890625
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Deciding Branching Hyperproperties for Real Time Systems
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Deka%2C+Nabarun%22">Deka, Nabarun</searchLink><br /><searchLink fieldCode="AR" term="%22Zhang%2C+Minjian%22">Zhang, Minjian</searchLink><br /><searchLink fieldCode="AR" term="%22Chadha%2C+Rohit%22">Chadha, Rohit</searchLink><br /><searchLink fieldCode="AR" term="%22Viswanathan%2C+Mahesh%22">Viswanathan, Mahesh</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: 2024 IEEE 37th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2024 IEEE 37th. :65-79 Jul, 2024
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: 2024 IEEE 37th Computer Security Foundations Symposium (CSF)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.10664274
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/CSF61375.2024.00032
    PhysicalDescription:
      Pagination:
        PageCount: 15
        StartPage: 65
    Titles:
      – TitleFull: Deciding Branching Hyperproperties for Real Time Systems
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Deka, Nabarun
      – PersonEntity:
          Name:
            NameFull: Zhang, Minjian
      – PersonEntity:
          Name:
            NameFull: Chadha, Rohit
      – PersonEntity:
          Name:
            NameFull: Viswanathan, Mahesh
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 08
              M: 07
              Type: published
              Y: 2024
          Identifiers:
            – Type: isbn-print
              Value: 9798350362039
            – Type: issn-print
              Value: 23748303
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: 2024 IEEE 37th Computer Security Foundations Symposium (CSF), Computer Security Foundations Symposium (CSF), 2024 IEEE 37th, CSF
              Type: main
ResultId 1