Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Book title Buchtitel
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing
Subject
Date issued
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Luckeneder, Christoph ; Kaindl, Hermann | A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification | Konferenzbeitrag Inproceedings  | 2019 | |
| 2 | di Angelo, Monika ; Soare, Alfred ; Salzer, Gernot | Smart contracts in view of the civil code | Konferenzbeitrag Inproceedings | 2019 | |
| 3 | Sacharidis, Dimitris | Top-N group recommendations with fairness | Konferenzbeitrag Inproceedings | 2019 |