Conference
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 |
καταχωρήστε σχόλιο πρώτοι!