Duong, Nhat Tan
Duong, Nhat Tan
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems | 1-gen-2019 | De Nicola, R.; Duong, T.; Inverso, O.; Mazzanti, F. | |
ABEL - A domain specific framework for programming with attribute-based communication | 1-gen-2019 | De Nicola, R.; Duong, T.; Loreti, M. |